Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Introduction to axiomatic set theory.   

Introduction to Axiomatic Set Theory

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 ...
Limited preview - About this book

Introduction to Axiomatic Set Theory

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 ...
Limited preview - About this book

Axiomatic Set Theory

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 ...
Limited preview - About this book

Proof Theory

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 ...
Limited preview - About this book

Two Applications of Logic to Mathematics

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 ...
Limited preview - About this book

Memoirs of a Proof Theorist: G del and Other Logicians

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 ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search