Stephen G. Simpson

Subsystems of Second Order Arithmetic

• Gebundenes Buch

Produktbeschreibung

This volumes examines these appropriate axioms for mathematics to prove particular theorems in core areas.

Produktdetails

• Verlag: Cambridge University Press
• 2. Auflage
• Seitenzahl: 464
• Erscheinungstermin: 8. Januar 2010
• Englisch
• Abmessung: 240mm x 161mm x 29mm
• Gewicht: 859g
• ISBN-13: 9780521884396
• ISBN-10: 052188439X
• Artikelnr.: 26105616

Inhaltsangabe

List of tables; Preface; Acknowledgements; 1. Introduction; Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive comprehension; 3. Arithmetical comprehension; 4. Weak König's lemma; 5. Arithmetical transfinite recursion; 6.
11 comprehension; Part II. Models of Subsystems of Z2: 7. ß-models; 8.
-models; 9. Non-
-models; Part III. Appendix: 10. Additional results; Bibliography; Index.