Hostname: page-component-7d684dbfc8-w65q4 Total loading time: 0 Render date: 2023-09-24T08:12:42.451Z Has data issue: false Feature Flags: { "corePageComponentGetUserInfoFromSharedSession": true, "coreDisableEcommerce": false, "coreDisableSocialShare": false, "coreDisableEcommerceForArticlePurchase": false, "coreDisableEcommerceForBookPurchase": false, "coreDisableEcommerceForElementPurchase": false, "coreUseNewShare": true, "useRatesEcommerce": true } hasContentIssue false

A definable nonstandard model of the reals

Published online by Cambridge University Press:  12 March 2014

Vladimir Kanovei
Institute for Information Transmission Problems (IPPI), Russian Academy of Sciences, Bol. Karetnyj Per. 19, Moscow, 127994, Russia, E-mail: Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel
Saharon Shelah
Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel Department of Mathematics, Rutgers University, New Brunswick, NJ 08854, USA, E-mail:, URL:


We prove, in ZFC, the existence of a definable, countably saturated elementary extension of the reals.

Research Article
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)



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