Internal approach to external sets and universes. III. Partially saturated universes

DOI10.1007/BF00372770zbMath0855.03043OpenAlexW2760961164MaRDI QIDQ1919980

Kanovei, Vladimir, Reeken, Michael

Publication date: 1 October 1996

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00372770

zbMATH Keywords

nonstandard analysisnonstandard set theoryexternal set theoryHrbaček set theorypartially saturated subuniverses

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models (03H99)

Related Items

CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES ⋮ Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe ⋮ Periodic words connected with the tribonacci-Lucas numbers ⋮ Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of infinitesimal stochastic analysis
• On external constructions in internal set theory
• Nonstandard analysis. A practical guide with applications
• Internal approach to external sets and universes. I: Bounded set theory
• Internal approach to external sets and universes. II: External universes over the universe of bounded set theory
• What Is Nonstandard Analysis?
• Descriptive set theory over hyperfinite sets
• On the strength of nonstandard analysis
• Two applications of the method of construction by ultrapowers to analysis
• Nonstandard Set Theory
• Undecidable hypotheses in Edward Nelson's internal set theory
• Standard foundations for nonstandard analysis
• Internal set theory: A new approach to nonstandard analysis
• Nonstandard set theory
• Foundational Aspects of “Non”standard Mathematics
• Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic