ENGLISH

Nonstandard Models Of Arithmetic And Set Theory: AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland

By Ali Enayat , Roman Kossak (ed.)

Book information

Publisher
Amer Mathematical Society
Year
2004
ISBN
0-8218-3535-1, 9780821835357, 66-1999-803-8, 55-1995-227-2, 55-1995-347-3, 35-1983-309-3
LCC
QA248 .A634 2003
Language
english
Format
DJVU
Filesize
2 MB (1670140 bytes)
Series
Contemporary Mathematics 361
Pages
184\184
Library
kolxoz
DPI
600
Time added
2014-09-15 02:42:59

Description

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

Similar books