A definable nonstandard model of the reals

DOI10.2178/jsl/1080938834zbMath1070.03044arXivmath/0311165WikidataQ55933464 ScholiaQ55933464MaRDI QIDQ5311715

Kanovei, Vladimir, Saharon Shelah

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0311165

zbMATH Keywords

ultrafilter; finite support iteration; definable countably saturated extension of the reals; iterated ultrapower construction

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03H05: Nonstandard models in mathematics

03C20: Ultraproducts and related constructions