Vive la diff\'erence I: Nonisomorphism of ultrapowers of countable models
by Shelah. [Sh:326]
Set Theory Continuum, 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 omega .
Back to the list of publications