Viva la difference I: Nonisomorphism of ultrapowers of countable models
Saharon Shelah
math.LOarXiv:math/9201245
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 .
Create a lesson
Related papers
An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees (short version)
Jean Abou Samra, David A. Madore
Solving polynomials in large pseudo-finite sets
Alessandro Vegnuti
Idiosynchromatic Poetry
Thilo Weinert
Free Tn-Heyting algebras
Juan Manuel Cornejo, Andrés Gallardo, Paula Helt et al.
A true Π01 sentence independence of PA
Mohammad Golshani
Ultrahomogeneous hypertournaments
Rob Sullivan