The Keisler–Shelah isomorphism theorem and the continuum hypothesis

Abstract: We show that if for any two elementary equivalent structures

m a t h b f M, m a t h b f N

of size at most continuum in a countable language,

m a t h b f M^{o m e g a} / m a t h c a l U s i m e q m a t h b f N^{o} m e g a / m a t h c a l U

for some ultrafilter

m a t h c a l U

on

o m e g a,

then

C H

holds. We also provide some consistency results about Keisler and Shelah isomorphism theorems in the absence of

C H

.

Cites Work

Cited In (2)

This page was built for publication: The Keisler–Shelah isomorphism theorem and the continuum hypothesis