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

DOI10.1007/BF01057803zbMATH Open0855.03042OpenAlexW3161860827MaRDI QIDQ1908856FDOQ1908856

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

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

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)

Cites Work

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

Cited In (9)

• Internal approach to external sets and universes. III. Partially saturated universes
• Special Model Axiom in Nonstandard Set Theory
• Internal approach to external sets and universes. I: Bounded set theory
• CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES
• Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry
• On external constructions in internal set theory
• Standard sets in nonstandard set theory
• Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST
• Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe

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)