Vive la différence. II: The Ax-Kochen isomorphism theorem
[For Part I see: Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA 1989, Math. Sci. Res. Inst. Publ. 26, 357-405 (1992; Zbl 0789.03035).] It is known that the continuum hypothesis implies that for any countable elementary equivalent structures \(\mathcal A\) and \(\mathcal B\) and any free ultrafilter \(\mathcal F\) on \(\omega\), \({\mathcal A}^ \omega/{\mathcal F}\) and \({\mathcal B}^ \omega/{\mathcal F}\) are isomorphic. This implies the Ax-Kochen results that the ultraproduct of the power series rings over prime fields \(\mathbb{F}_ p\) is isomorphic to the ultraproduct of the ring of \(p\)-adic integers. It was conjectured by Kim that such an isomorphism always exists for any free ultrafilter on \(\omega\). Here the author shows that the continuum hypothesis is really necessary. He gives a forcing construction involving trees to generate a free ultrafilter on \(\omega\) such that the corresponding ultraproducts cannot be isomorphic. The author answers a question of Keisler and Schmerl by showing that it is consistent with ZFC that \({\mathbb{R}^ \omega}/{\mathcal F}\) is Scott complete for some ultrafilter \(\mathcal F\). Further on the author shows that in any nonstandard model of Peano arithmetic there is a gap whose left and right cofinalities are equal.
- A note on standard systems and ultrafilters
- A standard model of Peano arithmetic with no conservative elementary extension
- The ultraproduct construction
- A Note on Real Subsets of A Recursively Saturated Model
- Inner Models and Ultrafilters In L(ℝ)
- Between reduced powers and ultrapowers, II.
- Tychonoff Products of Two-Element Sets and Some Weakenings of the Boolean Prime Ideal Theorem
- On the existence of free ultrafilters on and on Russell-sets in ZF
- Scott's problem for Proper Scott sets
- Near coherence of filters. I: Cofinal equivalence of models of arithmetic
- Classification theory and the number of non-isomorphic models
- Classification theory and the number of non-isomorphic models.
- Diophantine Problems Over Local Fields I
- scientific article; zbMATH DE number 4023265 (Why is no real title available?)
- scientific article; zbMATH DE number 3784850 (Why is no real title available?)
- scientific article; zbMATH DE number 3504966 (Why is no real title available?)
- scientific article; zbMATH DE number 218626 (Why is no real title available?)
- Making the hyperreal line both saturated and complete
- Models with second order properties I. Boolean algebras with no definable automorphisms
- Models with second order properties. IV. A general method and eliminating diamonds
- Models with second order properties. V: A general principle
- Residue class domains of the ring of convergent sequences and of \(C^{\infty}([0,1],{\mathbb{R}})\)
- The prime spectrum of an infinite product of copies of Z
- Ultraproducts which are not saturated
- Vive la différence. III
- Countable ultraproducts without CH
- An alternative proof of the ultralimits theorem
- A note on standard systems and ultrafilters
- An existence theorem for a special ultrafilter when 𝔡 = 𝔠
- Type two cuts, bad cuts and very bad cut
- Some highly saturated models of Peano arithmetic
- Between reduced powers and ultrapowers, II.
- The Keisler–Shelah isomorphism theorem and the continuum hypothesis
- The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II
- Corona rigidity
- The generic multiverse is not going away
- Symmetrically complete ordered sets abelian groups and fields.
- Vive la différence. III
This page was built for publication: Vive la différence. II: The Ax-Kochen isomorphism theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1320039)
