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