Nonstandard Models of Arithmetic and Set Theory
2004
American Mathematical Society (Verlag)
978-0-8218-3535-7 (ISBN)
American Mathematical Society (Verlag)
978-0-8218-3535-7 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei innerhalb Deutschlands
- Auch auf Rechnung
- Verfügbarkeit in der Filiale vor Ort prüfen
- Artikel merken
Discusses the concept of nonstandardness in mathematics and provides historical and philosophical insights into the nature of nonstandard mathematical structures. This work presents results related to nonstandard models in arithmetic and set theory, including a survey of known results on the Turing upper bounds of arithmetic sets and functions.
This is the proceedings of the AMS special session on nonstandard models of arithmetic and set theory held at the Joint Mathematics Meetings in Baltimore (MD). The volume opens with an essay from Haim Gaifman that probes the concept of nonstandardness in mathematics and provides a fascinating mix of historical and philosophical insights into the nature of nonstandard mathematical structures. In particular, Gaifman compares and contrasts the discovery of nonstandard models with other key mathematical innovations, such as the introduction of various number systems, the modern concept of function, and non-Euclidean geometries. Other articles in the book present results related to nonstandard models in arithmetic and set theory, including a survey of known results on the Turing upper bounds of arithmetic sets and functions. The volume is suitable for graduate students and research mathematicians interested in logic, especially model theory.
This is the proceedings of the AMS special session on nonstandard models of arithmetic and set theory held at the Joint Mathematics Meetings in Baltimore (MD). The volume opens with an essay from Haim Gaifman that probes the concept of nonstandardness in mathematics and provides a fascinating mix of historical and philosophical insights into the nature of nonstandard mathematical structures. In particular, Gaifman compares and contrasts the discovery of nonstandard models with other key mathematical innovations, such as the introduction of various number systems, the modern concept of function, and non-Euclidean geometries. Other articles in the book present results related to nonstandard models in arithmetic and set theory, including a survey of known results on the Turing upper bounds of arithmetic sets and functions. The volume is suitable for graduate students and research mathematicians interested in logic, especially model theory.
Non-standard models in a broader perspective by H. Gaifman Coding in $I/Delta_0$ by P. D'Aquino and J. F. Knight Automorphisms, Mahlo cardinals, and NFU by A. Enayat AC fails in the natural analogues of V and L that model the stratified fragment of ZF by T. Forster Working with nonstandard models by H. M. Friedman Internally iterated ultrapowers by K. Hrbacek On some questions of Hrbacek and Di Nasso by R. Jin Turing upper bounds of jump ideals and Scott sets by A. M. McAllister Diversity in substructures by J. H. Schmerl Automorphisms of countable recursively saturated models of set theory by A. A. Togha.
Erscheint lt. Verlag | 1.3.2005 |
---|---|
Reihe/Serie | Contemporary Mathematics |
Zusatzinfo | illustrations |
Verlagsort | Providence |
Sprache | englisch |
Gewicht | 369 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
ISBN-10 | 0-8218-3535-1 / 0821835351 |
ISBN-13 | 978-0-8218-3535-7 / 9780821835357 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70 €
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70 €
An Introduction to Mathematical Proofs
Buch | Softcover (2023)
Academic Press Inc (Verlag)
57,30 €