Fr. 236.00

Subsystems of Second Order Arithmetic

Englisch · Fester Einband

Versand in der Regel in 1 bis 3 Wochen (kurzfristig nicht lieferbar)

Beschreibung

Mehr lesen

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.

Kundenrezensionen

Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.

Schreibe eine Rezension

Top oder Flop? Schreibe deine eigene Rezension.

Für Mitteilungen an CeDe.ch kannst du das Kontaktformular benutzen.

Die mit * markierten Eingabefelder müssen zwingend ausgefüllt werden.

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.