The Keisler-Shelah Isomorphism Theorems
In this chapter we use Hekin-Keisler models to prove various formulations of the Keisler-Shelah Isomorphism Theorem: two interpretations are elementarily equivalent iff they have isomorphic ultrapowers. This results is proved in Keisler  assuming the Generalized Continuum Hypothesis (GCH). Keisler  contains a second proof using saturated ultrapowers. This proof also assumes GCH. Shelah  contains a third proof. This proof avaoids assuming GCH. In the following we give two proofs of Keisler’s original version of the theorem. The first assumes GCH, the second does not. We then indicate how the second proof can be extended to yield a stronger version of the theorem. In Chapter 9 we obatain yet another proof. This proof, like that of Keisler , uses saturated ultrapowers and assumes GCH.
Since U and any of its ultrapowers are elementarily equivalent and isomorphic interpretations are elementarily equivalent, it is immediate that U and B are elementarily equivalent if they have isomorphic ultrapowers.
- The Keisler-Shelah Isomorphism Theorems
- Book Title
- Henkin-Keisler Models
- pp 151-197
- Print ISBN
- Online ISBN
- Series Title
- Mathematics and Its Applications
- Series Volume
- Springer US
- Copyright Holder
- Kluwer Academic Publishers
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.