Viva la difference II. The Ax-Kochen isomorphism theorem
Logic
2016-09-06 v1 Rings and Algebras
Abstract
We show in section 1 that the Ax-Kochen isomorphism theorem 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.) In section 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 Z. In section 1 we also answer a question of Keisler and Schmerl regarding Scott complete ultrapowers of R .
Cite
@article{arxiv.math/9304207,
title = {Viva la difference II. The Ax-Kochen isomorphism theorem},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/9304207},
year = {2016}
}