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.

Détails du produit

• Auteurs: Stephen G. Simpson
• Edition: External catalogues UK
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 16.03.2010
• EAN: 9780521150149
• ISBN: 978-0-521-15014-9
• Thème: Perspectives in Logic
• Catégorie: Sciences naturelles, médecine, informatique, technique > Mathématiques > Bases