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

@article{Golshani2021TheKI, title={The Keisler–Shelah isomorphism theorem and the continuum hypothesis II}, author={Mohammad Golshani and Saharon Shelah}, journal={Monatshefte f{\"u}r Mathematik}, year={2021}, pages={1-13} }

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…

## One Citation

### KEISLER’S THEOREM AND CARDINAL INVARIANTS

- MathematicsThe Journal of Symbolic Logic
- 2022

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…

## 18 References

### KEISLER’S THEOREM AND CARDINAL INVARIANTS

- MathematicsThe Journal of Symbolic Logic
- 2022

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…

### Iterated Cohen extensions and Souslin's problem*

- 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…

### Nonisomorphism of ultrapowers of countable models

- Mathematics
- 1995

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…

### Combinatorial Cardinal Characteristics of the Continuum

- Mathematics
- 2010

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…

### Proper and Improper Forcing

- Economics
- 1998

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…

### Classification theory - and the number of non-isomorphic models, Second Edition

- MathematicsStudies in logic and the foundations of mathematics
- 1990

### Vive la Différence I: Nonisomorphism of Ultrapowers of Countable Models

- Mathematics
- 1992

We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on ω.

### Martin’s axiom and saturated models

- 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.

### Every two elementarily equivalent models have isomorphic ultrapowers

- Mathematics
- 1971

We prove (without G.C.H.) that every two elementarily equivalent models have isomorphic ultrapowers, and some related results.

### The Hebrew University of Jerusalem

- Political ScienceScience
- 1942

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…