| G. Takeuti, W.M. Zaring - Mathematics - 2012 - 246 pages
In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel's work on the con sistency of the Axiom of ... | |
| J.L. Krivine - Philosophy - 2012 - 103 pages
This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. Three examples of such models are investigated in ... | |
| G. Takeuti, W.M. Zaring - Mathematics - 2013 - 238 pages
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of ... | |
| Gaisi Takeuti - Mathematics - 2013 - 490 pages
Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text ... | |
| |