Stephen G. Simpson

Subsystems of Second Order Arithmetic

• Broschiertes Buch

Produktbeschreibung

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

Produktdetails

• Verlag: Cambridge University Press
• 2. Auflage
• Seitenzahl: 464
• Erscheinungstermin: 8. Januar 2010
• Englisch
• Abmessung: 234mm x 156mm x 25mm
• Gewicht: 699g
• ISBN-13: 9780521150149
• ISBN-10: 0521150140
• Artikelnr.: 28514010

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.