Internal approach to external sets and universes. II: External universes over the universe of bounded set theory

DOI10.1007/BF01057803zbMath0855.03042OpenAlexW3161860827MaRDI QIDQ1908856

Reeken, Michael, Kanovei, Vladimir

Publication date: 8 May 1996

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

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

zbMATH Keywords

nonstandard analysisnonstandard set theoryinternal set theoryexternal setsbounded set theory

Mathematics Subject Classification ID

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

Related Items (5)

Special Model Axiom in Nonstandard Set Theory ⋮ Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe ⋮ Internal approach to external sets and universes. III. Partially saturated universes ⋮ Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST ⋮ Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry

Cites Work

• 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
• What Is Nonstandard Analysis?
• Descriptive set theory over hyperfinite sets
• On the strength of nonstandard 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
• Foundational Aspects of “Non”standard Mathematics
• Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic

This page was built for publication: Internal approach to external sets and universes. II: External universes over the universe of bounded set theory