Vive la différence. II: The Ax-Kochen isomorphism theorem

DOI10.1007/BF02758648zbMath0812.03018arXivmath/9304207OpenAlexW2085440196MaRDI QIDQ1320039

Saharon Shelah

Publication date: 19 April 1994

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

gapforcingcofinalitiesultraproductcontinuum hypothesisCohen realnonstandard model of Peano arithmeticfree ultrafilter on \(\omega\)Scott complete

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Nonstandard models of arithmetic (03H15) Ultraproducts and related constructions (03C20) Model theory of fields (12L12) Set-theoretic model theory (03C55) Ultraproducts and field theory (12L10)

Related Items (5)

Between reduced powers and ultrapowers, II. ⋮ Symmetrically complete ordered sets abelian groups and fields. ⋮ Vive la différence. III ⋮ Type two cuts, bad cuts and very bad cut ⋮ Some highly saturated models of Peano arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models with second order properties. V: A general principle
• Models with second order properties. IV. A general method and eliminating diamonds
• Residue class domains of the ring of convergent sequences and of \(C^{\infty}([0,1,{\mathbb{R}})\)]
• Vive la différence. III
• Classification theory and the number of non-isomorphic models.
• Classification theory and the number of non-isomorphic models
• The prime spectrum of an infinite product of copies of Z
• Making the hyperreal line both saturated and complete
• Models with second order properties I. Boolean algebras with no definable automorphisms
• Diophantine Problems Over Local Fields I
• Ultraproducts which are not saturated

This page was built for publication: Vive la différence. II: The Ax-Kochen isomorphism theorem