Subsystems of Second Order Arithmetic

Informationen zum Autor Stephen G. Simpson is a mathematician and professor at Pennsylvania State University. The winner of the Grove Award for Interdisciplinary Research Initiation! Simpson specializes in research involving mathematical logic! foundations of mathematics! and combinatorics. Klappentext This volumes examines these appropriate axioms for mathematics to prove particular theorems in core 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, Stephen G. (Pennsylvania State University Simpson, Simpson Stephen G.
• Verlag: Cambridge University Press ELT
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 29.05.2009
• EAN: 9780521884396
• ISBN: 978-0-521-88439-6
• Seiten: 464
• Serien: Perspectives in Logic; Perspectives in Logic
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen; MATHEMATICS / Logic, Mathematical logic, Mathematical foundations