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

DOI10.1007/BF01057803MaRDI QIDQ1908856zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei, M. Reeken

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 analysisinternal set theoryexternal setsnonstandard set theorybounded set theory

Mathematics Subject Classification ID

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

Recommendations

• Internal approach to external sets and universes. I: Bounded set theory
• Internal approach to external sets and universes. III. Partially saturated universes
• On external constructions in internal set theory

Cites work

• scientific article; zbMATH DE number 3933369 (Why is no real title available?)
• scientific article; zbMATH DE number 4075055 (Why is no real title available?)
• Descriptive set theory over hyperfinite sets
• Foundational Aspects of “Non”standard Mathematics
• Foundations of infinitesimal stochastic analysis
• Internal approach to external sets and universes. I: Bounded set theory
• Internal set theory: A new approach to nonstandard analysis
• Nonstandard Set Theory
• Nonstandard analysis. A practical guide with applications
• On external constructions in internal set theory
• On the strength of nonstandard analysis
• Standard foundations for nonstandard analysis
• The hyperreal line
• Undecidable hypotheses in Edward Nelson's internal set theory
• Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic
• What Is Nonstandard Analysis?

Cited in

(9)

• Standard sets in nonstandard set theory
• CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES
• Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe
• Special Model Axiom in Nonstandard Set Theory
• On external constructions in internal set theory
• Internal approach to external sets and universes. I: Bounded set theory
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1908856)