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

Saharon Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

10 Scopus citations

Abstract

We show in §1 that the Ax-Kochen isomorphism theorem [AK] requires the continuum hypothesis. Most of the applications of this theorem are insensitive to set theoretic considerations. (A probable exception is the work of Moloney [Mo].) In §2 we give an unrelated result on cuts in models of Peano arithmetic which answers a question on the ideal structure of countable ultraproducts of ℤ posed in [LLS]. In §1 we also answer a question of Keisler regarding Scott complete ultrapowers of ℝ (see 1.18).

Original languageFrench
Pages (from-to)351-390
Number of pages40
JournalIsrael Journal of Mathematics
Volume85
Issue number1-3
DOIs
StatePublished - Feb 1994

Cite this