Viva la difference I: Nonisomorphism of ultrapowers of countable models
Logic
2008-02-03 v1
Abstract
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 .
Cite
@article{arxiv.math/9201245,
title = {Viva la difference I: Nonisomorphism of ultrapowers of countable models},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/9201245},
year = {2008}
}