Stephen G. Simpson

Subsystems of Second Order Arithmetic

• Gebundenes Buch

Produktdetails

• Perspectives in Mathematical Logic
• Verlag: Springer, Berlin
• Seitenzahl: 444
• Englisch
• Abmessung: 245mm
• Gewicht: 799g
• ISBN-13: 9783540648826
• Artikelnr.: 27363563

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.