Softcover ISBN:  9780821835357 
Product Code:  CONM/361 
List Price:  $130.00 
MAA Member Price:  $117.00 
AMS Member Price:  $104.00 
eBook ISBN:  9780821879511 
Product Code:  CONM/361.E 
List Price:  $125.00 
MAA Member Price:  $112.50 
AMS Member Price:  $100.00 
Softcover ISBN:  9780821835357 
eBook: ISBN:  9780821879511 
Product Code:  CONM/361.B 
List Price:  $255.00 $192.50 
MAA Member Price:  $229.50 $173.25 
AMS Member Price:  $204.00 $154.00 
Softcover ISBN:  9780821835357 
Product Code:  CONM/361 
List Price:  $130.00 
MAA Member Price:  $117.00 
AMS Member Price:  $104.00 
eBook ISBN:  9780821879511 
Product Code:  CONM/361.E 
List Price:  $125.00 
MAA Member Price:  $112.50 
AMS Member Price:  $100.00 
Softcover ISBN:  9780821835357 
eBook ISBN:  9780821879511 
Product Code:  CONM/361.B 
List Price:  $255.00 $192.50 
MAA Member Price:  $229.50 $173.25 
AMS Member Price:  $204.00 $154.00 

Book DetailsContemporary MathematicsVolume: 361; 2004; 167 ppMSC: Primary 03; 26;
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 nonEuclidean 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.
ReadershipGraduate students and research mathematicians interested in logic, especially model theory.

Table of Contents

Articles

Haim Gaifman — Nonstandard models in a broader perspective [ MR 2089273 ]

Paola D’Aquino and Julia F. Knight — Coding in $I\Delta _0$ [ MR 2089274 ]

Ali Enayat — Automorphisms, Mahlo cardinals, and NFU [ MR 2089275 ]

Thomas Forster — AC fails in the natural analogues of $V$ and $L$ that model the stratified fragment of ZF [ MR 2089276 ]

Harvey M. Friedman — Working with nonstandard models [ MR 2089277 ]

Karel Hrbacek — Internally iterated ultrapowers [ MR 2089278 ]

Renling Jin — On some questions of Hrbacek and Di Nasso [ MR 2089279 ]

Alex M. McAllister — Turing upper bounds of jump ideals and Scott sets [ MR 2089280 ]

James H. Schmerl — Diversity in substructures [ MR 2089281 ]

Amir A. Togha — Automorphisms of countable recursively saturated models of set theory [ MR 2089282 ]


RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
 Book Details
 Table of Contents
 Requests
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 nonEuclidean 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.
Graduate students and research mathematicians interested in logic, especially model theory.

Articles

Haim Gaifman — Nonstandard models in a broader perspective [ MR 2089273 ]

Paola D’Aquino and Julia F. Knight — Coding in $I\Delta _0$ [ MR 2089274 ]

Ali Enayat — Automorphisms, Mahlo cardinals, and NFU [ MR 2089275 ]

Thomas Forster — AC fails in the natural analogues of $V$ and $L$ that model the stratified fragment of ZF [ MR 2089276 ]

Harvey M. Friedman — Working with nonstandard models [ MR 2089277 ]

Karel Hrbacek — Internally iterated ultrapowers [ MR 2089278 ]

Renling Jin — On some questions of Hrbacek and Di Nasso [ MR 2089279 ]

Alex M. McAllister — Turing upper bounds of jump ideals and Scott sets [ MR 2089280 ]

James H. Schmerl — Diversity in substructures [ MR 2089281 ]

Amir A. Togha — Automorphisms of countable recursively saturated models of set theory [ MR 2089282 ]