A definable nonstandard model of the reals

DOI10.2178/jsl/1080938834zbMath1070.03044arXivmath/0311165OpenAlexW2163900815WikidataQ55933464 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

ultrafilterfinite support iterationdefinable countably saturated extension of the realsiterated ultrapower construction

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonstandard models in mathematics (03H05) Ultraproducts and related constructions (03C20)

Related Items (15)

Integration with filters ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Iterated ultrapowers for the masses ⋮ Underdetermination of infinitesimal probabilities ⋮ First steps towards an equilibrium theory for Lévy financial markets ⋮ The consistency of probabilistic regresses: some implications for epistemological infinitism ⋮ A graded Bayesian coherence notion ⋮ MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER ⋮ The moment problem on the Wiener space ⋮ Representation of MV-algebras by regular ultrapowers of \([0,1\)] ⋮ Regular probability comparisons imply the Banach-Tarski paradox ⋮ Proofs and retributions, or: why Sarah can't take limits ⋮ Hyperfinite stochastic integration for Lévy processes with finite-variation jump part ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Aggregating infinitely many probability measures

Cites Work

• Internal approach to external sets and universes. I: Bounded set theory
• A model of set-theory in which every set of reals is Lebesgue measurable
• What Is Nonstandard Analysis?

This page was built for publication: A definable nonstandard model of the reals