# 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} }