Viva la difference I: Nonisomorphism of ultrapowers of countable models
Abstract
Description
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 .