# The Keisler–Shelah isomorphism theorem and the continuum hypothesis II

@article{Golshani2021TheKI,
title={The Keisler–Shelah isomorphism theorem and the continuum hypothesis II},
journal={Monatshefte f{\"u}r Mathematik},
year={2021},
pages={1-13}
}
• Published 9 August 2021
• Mathematics
• Monatshefte für Mathematik
We continue the investigation started in Golshani (2021) 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 $$\textbf{m}=\langle ({\mathbb {M}}^{1}_n, {\mathbb {M}}^{2}_n): n < \omega \rangle$$ m = ⟨ ( M n 1 , M n 2 ) : n < ω ⟩ of models of size at most $$\aleph _1$$ ℵ 1 in a countable language, if the sequence satisfies a mild extra property, then…
1 Citation
We consider several variants of Keisler's isomorphism theorem. We separate these variants by showing implications between them and cardinal invariants hypotheses. We characterize saturation
We consider several variants of Keisler's isomorphism theorem. We separate these variants by showing implications between them and cardinal invariants hypotheses. We characterize saturation
• Mathematics
• 1971
We can characterize the real line, up to order isomorphism, by the following list of properties: R is order complete, order dense, has no first or last elements, and contains a countable dense
We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on ω. The author thanks the BSF and the Basic
The combinatorial study of subsets of the set N of natural numbers and of functions from N to N leads to numerous cardinal numbers, uncountable but no larger than the continuum. For example, how many
This work deals with set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. Consequently, the theory of iterated
We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on ω.
• Mathematics
• 1972
2mo>x, is consistent with the existence of an ultrafilter F on w such that for every countable structure 91 the ultrapower [I'/F is saturated.
We prove (without G.C.H.) that every two elementarily equivalent models have isomorphic ultrapowers, and some related results.
It is clear that religion plays a role in the conflict in the Middle East. In recent times more and more people are becoming aware of this and are recognizing the need to address religion and