arXiv Analytics

Sign in

arXiv:math/9201245 [math.LO]AbstractReferencesReviewsResources

Viva la difference I: Nonisomorphism of ultrapowers of countable models

Saharon Shelah

Published 1991-01-15Version 1

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 .

Journal: Math. Sci. Res. Inst. Publ. 26 (1992), 357--405
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1301.0994 [math.LO] (Published 2013-01-06, updated 2013-04-24)
Distinguishing Models by Formulas and the Number of Countable Models
arXiv:1211.5441 [math.LO] (Published 2012-11-23, updated 2012-11-27)
Separating Models by Formulas and the Number of Countable Models
arXiv:1304.7099 [math.LO] (Published 2013-04-26)
Simple groups and the number of countable models

Links

Toolbox