A definable nonstandard model of the reals

Journal of Symbolic Logic

Volumn 69, Issue 1, 2004, Pages 159-164

  Kanovei, Vladimir ^a   Shelah, Saharon ^b,c  

^a INSTITUTE FOR INFORMATION TRANSMISSION PROBLEMS   (Russian Federation)

^b HEBREW UNIVERSITY OF JERUSALEM   (Israel)

^c RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 1842579323     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1080938834     Document Type: Article

References (5)

1. C. C. Chang and H. J. Keisler, Model Theory, 3rd ed., Studies in Logic and Foundations of Mathematics, vol. 73, North Holland, Amsterdam, 1992.
2. V. Kanovei and M. Reeken, Internal approach to external sets and universes, Part 1, Studia Logica, vol. 55 (1995), no. 2, pp. 229-257.
3. H. J. Kisler, The hyperreal line, Real numbers, generalizations of reals, and theories of continua (P. Erlich, editor), Kluwer Academic Publishers, 1994, pp. 207-237.
4. W. A. J. Luxemburg, What is nonstandard analysis?, American Mathematics Monthly, vol. 80 (Supplement) (1973), pp. 38-67.
5. R. M. Solovay, A model of set theory in which every set of reals is Lebesgue measurable, Annals of Mathematics, vol. 92 (1970), pp. 1-56.