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.

Product details

• Authors: Stephen G. Simpson
• Publisher: External catalogues UK
• Languages: English
• Product format: Paperback / Softback
• Released: 16.03.2010
• EAN: 9780521150149
• ISBN: 978-0-521-15014-9
• Series: Perspectives in Logic
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Basic principles