Every two elementary equivalent models have isomorphic ultrapowers (1971)

by Saharon Shelah
Venue:Israel Journal of Mathematics