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