Internal approach to external sets and universes. I: Bounded set theory
From MaRDI portal
Publication:1902552
DOI10.1007/BF01061236zbMath0837.03048OpenAlexW1558970228MaRDI QIDQ1902552
Reeken, Michael, Kanovei, Vladimir
Publication date: 13 May 1996
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01061236
Related Items
1998 European Summer Meeting of the Association for Symbolic Logic, A definable nonstandard model of the reals, Internal approach to external sets and universes. II: External universes over the universe of bounded 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, Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers, Realism, nonstandard set theory, and large cardinals, Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry, Definable predicates of standardness in internal set theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundations of infinitesimal stochastic analysis
- The syntax of nonstandard analysis
- Extended use of IST
- On external constructions in internal set theory
- Nonstandard analysis. A practical guide with applications
- 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
- Nonstandard set theory
- Foundational Aspects of “Non”standard Mathematics
- Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic
- Comparison of the axioms of local and universal choice
