Abstract
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 [1961] assuming the Generalized Continuum Hypothesis (GCH). Keisler [1964] contains a second proof using saturated ultrapowers. This proof also assumes GCH. Shelah [1972] 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 [1964], 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Keisler, H. J., Ultraproducts and Elementary Classes, Indag. Math. 23, 477–495, 1961.
Keisler, H. J., Ultraproducts and Saturated Models, Indag. Math. 26, 178–186, 1964.
Shelah, S., Every Two Elementarily Equivalent Models Have Isomorphic Ultrapowers, Israel J. Math. 10, 224–233, 1972.
Rights and permissions
Copyright information
© 1997 Kluwer Academic Publishers
About this chapter
Cite this chapter
(1997). The Keisler-Shelah Isomorphism Theorems. In: Henkin-Keisler Models. Mathematics and Its Applications, vol 392. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-28844-4_8
Download citation
DOI: https://doi.org/10.1007/978-0-585-28844-4_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-4366-0
Online ISBN: 978-0-585-28844-4
eBook Packages: Springer Book Archive