# Sh:1223

• Golshani, M., & Shelah, S. The Keisler-Shelah isomorphism theorem and the continuum hypothesis II. Preprint. arXiv: 2112.15468
• Abstract:
We continue the investigation started in [Sh:1215] about the relation between the Keilser-Shelah isomorphism theorem and the continuum hypothesis. In particular, we show it is consistent that the continuum hypothesis fails and for any given sequence \langle (\mathbb{M}^{1}_n, \mathbb{M}^{2}_n: n < \omega \rangle of models of size at most \aleph_1 in a countable language, if the sequence satisfies a mild extra property, then for every non-principal ultrafilter \mathcal D on \omega, if the ultraproducts \prod\limits_{\mathcal D} \mathbb{M}^{1}_n and \prod\limits_{\mathcal D} \mathbb{M}^{2}_n are elementarily equivalent, then they are isomorphic.
• Version 2022-01-01 (15p)
Bib entry
@article{Sh:1223,
author = {Golshani, Mohammad and Shelah, Saharon},
title = {{The Keisler-Shelah isomorphism theorem and the continuum hypothesis II}},
note = {\href{https://arxiv.org/abs/2112.15468}{arXiv: 2112.15468}},
arxiv_number = {2112.15468}
}