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

DOI10.1007/BF02758648zbMath0812.03018arXivmath/9304207MaRDI 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

gap; forcing; cofinalities; ultraproduct; continuum hypothesis; Cohen real; nonstandard model of Peano arithmetic; free ultrafilter on \(\omega\); Scott complete

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E50: Continuum hypothesis and Martin's axiom

03H15: Nonstandard models of arithmetic

03C20: Ultraproducts and related constructions

12L12: Model theory of fields

03C55: Set-theoretic model theory

12L10: Ultraproducts and field theory

Related Items

Type two cuts, bad cuts and very bad cut

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