Subsystems of Second Order Arithmetic

Klappentext Through a series of case studies! this volume examines these axioms to prove particular theorems in core mathematical areas. Zusammenfassung What are the appropriate axioms for mathematics? Through a series of case studies! this volume examines these axioms to prove particular theorems in core areas including algebra! analysis! and topology! focusing on the language of second-order arithmetic! the weakest language rich enough to express and develop the bulk of mathematics. Inhaltsverzeichnis 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.

Produktdetails

• Autoren: Stephen G. Simpson
• Verlag: External catalogues UK
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 16.03.2010
• EAN: 9780521150149
• ISBN: 978-0-521-15014-9
• Serie: Perspectives in Logic
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen