Cantitate/Preț
Produs
Total produse
Vezi coșul
Reverse Mathematics 2001: Lecture Notes in Logic 21 de Stephen Gross

Reverse Mathematics 2001: Lecture Notes in Logic 21

Editat de Stephen Gross
en Limba Engleză Hardback – sep 2005
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.
Citește tot Restrânge

Preț: 30840 lei

Preț vechi: 61550 lei
-50% Nou

Puncte Express: 463
Preț estimativ în valută:
5912€ • 6205$ • 4876£

Carte indisponibilă temporar


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781568812632
ISBN-10: 1568812639
Pagini: 416
Dimensiuni: 152 x 229 x 27 mm
Greutate: 0.7 kg
Ediția:1
Editura: CRC Press
Colecția A K Peters/CRC Press

Cuprins

1. Possible ra-diagrams of models of arithmetic 2. Weak theories of nonstandard arithmetic and analysis 3. Notions of compactness in weak subsystems of second order arithmetic 4. Proof-theoretic strength of the stable marriage theorem and other problems 5. Free sets and reverse mathematics 6. Interpreting arithmetic in the r.e. degrees under Z4-induction 7. Reverse mathematics, Archimedean classes, and Hahn’s Theorem 8. The Baire category theorem over a feasible base theory 9. Basic applications of weak Konig’s lemma in feasible analysis 10. Maximal nonfinitely generated subalgebras 11. Metamathematics of comparability 12. A note on compactness of countable sets 13. A survey of the reverse mathematics of ordinal arithmetic 14. Reverse mathematics and ordinal suprem 15. Did Cantor need set theory? 16. Models of arithmetic: Quantifiers and complexity 17. Higher order reverse mathematics 18. Arithmetic saturation 19. WQO and BQO theory in subsystems of second order arithmetic 20. Reverse mathematics and graph coloring: Eliminating diagonalization 21. Undecidable theories and reverse mathematics 22. II1 sets and models of WKLo 23. Manipulating the reals in RCA0 24. Reverse mathematics and weak systems of 0-1 strings for feasible analysis

Descriere

This book is intended as a sequel or partial update of Subsystems of Second Order Arithmetic (SOSOA). It consists of 24 original research papers exhibiting some of the exciting new developments in reverse mathematics and subsystems of second order arithmetic, subsequent to 1998.