| 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 ... | |
| Gaisi Takeuti - Mathematics - 2015 - 148 pages
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results ... | |
| Gaisi Takeuti - Electronic books - 2003 - 135 pages
This volume is a translation of the book GAdel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K GAdel ... | |
| |