Vive la Différence I: Nonisomorphism of Ultrapowers of Countable Models

* Final gross prices may vary according to local VAT.

Get Access

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 ω.