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.

Product details

• Authors: Stephen G. Simpson, Stephen G. (Pennsylvania State University Simpson
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 29.05.2009
• EAN: 9780521884396
• ISBN: 978-0-521-88439-6
• No. of pages: 464
• Series: Perspectives in Logic
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Basic principles