Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe

DOI10.1016/S0168-0072(97)00011-0zbMath0883.03040arXivmath/9603205MaRDI QIDQ1372154

Kanovei, Vladimir, Reeken, Michael

Publication date: 6 November 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9603205

zbMATH Keywords

generic extensionsconstructibilityisomorphism propertymodels of nonstandard set theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Nonstandard models in mathematics (03H05)

Related Items

Special Model Axiom in Nonstandard Set Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory.
• Game sentences and ultrapowers
• When do two Banach spaces have isometrically isomorphic nonstandard hulls
• 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
• Internal approach to external sets and universes. III. Partially saturated universes
• Descriptive set theory over hyperfinite sets
• Nonstandard Set Theory
• The isomorphism property versus the special model axiom
• A theorem on the isomorphism property
• The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces
• Axiomatic foundations for Nonstandard Analysis
• Internal set theory: A new approach to nonstandard analysis
• The strength of the isomorphism property
• The isomorphism property for nonstandard universes
• Comparison of the axioms of local and universal choice
• The special model axiom in nonstandard analysis