A definable nonstandard model of the reals

Vladimir Kanovei; Saharon Shelah

doi:10.2178/jsl/1080938834

A definable nonstandard model of the reals

Vladimir Kanovei
, Saharon Shelah

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

32 Scopus citations

Abstract

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

Original language	English
Pages (from-to)	159-164
Number of pages	6
Journal	Journal of Symbolic Logic
Volume	69
Issue number	1
DOIs	https://doi.org/10.2178/jsl/1080938834
State	Published - Mar 2004

Access to Document

10.2178/jsl/1080938834

Cite this

@article{7d5dfd2ffb574ab0804a03aaf1607c80,

title = "A definable nonstandard model of the reals",

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

author = "Vladimir Kanovei and Saharon Shelah",

year = "2004",

month = mar,

doi = "10.2178/jsl/1080938834",

language = "אנגלית",

volume = "69",

pages = "159--164",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - A definable nonstandard model of the reals

AU - Kanovei, Vladimir

AU - Shelah, Saharon

PY - 2004/3

Y1 - 2004/3

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

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

UR - https://www.scopus.com/pages/publications/1842579323

U2 - 10.2178/jsl/1080938834

DO - 10.2178/jsl/1080938834

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:1842579323

SN - 0022-4812

VL - 69

SP - 159

EP - 164

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 1

ER -

A definable nonstandard model of the reals

Abstract

Access to Document

Other files and links

Fingerprint

Cite this