Related Books
Language: en
Pages: 461
Pages: 461
Type: BOOK - Published: 2009-05-29 - Publisher: Cambridge University Press
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.
Language: en
Pages: 444
Pages: 444
Type: BOOK - Published: 1999 - Publisher:
"From the point of view of the foundations of mathematics, this definitive work by Simpson is the most anxiously awaited monograph for over a decade. The "subsy
Language: en
Pages: 445
Pages: 445
Type: BOOK - Published: 2009-05-29 - Publisher: Cambridge University Press
Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a
Language: en
Pages: 242
Pages: 242
Subsystems of Second-order Arithmetic, and Descriptive Set Theory Under the Axiom of Determinateness
Type: BOOK - Published: 1977 - Publisher:
Language: en
Pages: 314
Pages: 314
Type: BOOK - Published: 1995 - Publisher: