Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic - Brossura

Libro 1 di 17: Perspectives in Logic

Simpson, Stephen G.

 
9780521150149: Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic
Brossura
ISBN 10: 0521150140 ISBN 13: 9780521150149
Casa editrice: Cambridge University Press, 2010

Sinossi

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

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.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
0521150140
ISBN 13 
9780521150149
Rilegatura
Copertina flessibile
Numero edizione
2
Numero di pagine
464
Contatto del produttore
non disponibile
Persona responsabile
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia

Altre edizioni note dello stesso titolo

9780521884396: Subsystems of Second Order Arithmetic

Edizione in evidenza

ISBN 10:  052188439X ISBN 13:  9780521884396
Casa editrice: Cambridge University Press, 2009
Rilegato