Isomorphism property in nonstandard extensions of the Z F C universe

DOI10.1016/S0168-0072(97)00011-0zbMATH Open0883.03040arXivmath/9603205MaRDI QIDQ1372154FDOQ1372154

Authors: Vladimir Kanovei, M. Reeken 

Publication date: 6 November 1997

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

Abstract: We study models of HST, a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the language containing the membership and standardness predicates, and Saturation for well-orderable families of internal sets. This theory admits an adequate formulation of the isomorphism property IP: "any two elementarily equivalent internally presented structures of a wellorderable language are isomorphic." IP implies, for instance, that all infinite internal sets are equinumerous, and there exists a unique (modulo isomorphisms) internal elementary extension of the standard reals. We prove that IP is independent of HST (using the class of all sets constructible from internal sets) and consistent with HST (using generic extensions of $HST$ models by a sufficient number of generic isomorphisms).

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

Recommendations

• The isomorphism property for nonstandard universes
• scientific article; zbMATH DE number 3926998
• On extension of isometries in (F)-spaces
• scientific article; zbMATH DE number 89045
• Isometries of the Zygmund \(F\)-algebra
• Non-existence of isomorphisms between certain unitals
• ON EXTENSIONS OF PARTIAL ISOMORPHISMS
• On isomorphism theorems in IS-algebras
• scientific article; zbMATH DE number 940706
• Isomorphism of the co-universal F-spaces of Kalton and Terry

zbMATH Keywords

generic extensionsisomorphism propertyconstructibilitymodels 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)

Cites Work

• Model theory.
• The hyperreal line
• Internal set theory: A new approach to nonstandard analysis
• Axiomatic foundations for Nonstandard Analysis
• Comparison of the axioms of local and universal choice
• The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces
• Title not available (Why is that?)
• Descriptive set theory over hyperfinite sets
• Internal approach to external sets and universes. I: Bounded set theory
• Title not available (Why is that?)
• When do two Banach spaces have isometrically isomorphic nonstandard hulls
• Internal approach to external sets and universes. II: External universes over the universe of bounded set theory
• Game sentences and ultrapowers
• The isomorphism property versus the special model axiom
• The special model axiom in nonstandard analysis
• A theorem on the isomorphism property
• The strength of the isomorphism property
• The isomorphism property for nonstandard universes
• Internal approach to external sets and universes. III. Partially saturated universes
• Nonstandard Set Theory
• Title not available (Why is that?)

Cited In (5)

• The isomorphism property for nonstandard universes
• Special Model Axiom in Nonstandard Set Theory
• Title not available (Why is that?)
• Isomorphisms between HEO and HRO^E, ECF and ICF^E
• A theorem on the isomorphism property

This page was built for publication: Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe

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