CaltechAUTHORS
  A Caltech Library Service

Isomorphic Ultrapowers

Henson, C. Ward and Iovino, José and Kechris, Alexander S. and Odell, Edward (2003) Isomorphic Ultrapowers. In: Analysis and Logic. London Mathematical Society Lecture Note Series. No.262. Cambridge University Press , Cambridge, pp. 55-71. ISBN 9781107360006. https://resolver.caltech.edu/CaltechAUTHORS:20180816-160145747

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20180816-160145747

Abstract

In this chapter we prove isomorphism theorems for ultrapowers and ultraproducts of normed space structures. These results show that there is a very tight connection between (a) properties that are preserved under the ultraproduct construction and (b) properties that are expressible using the logic for normed space structures that is described in this paper. Let L be a signature and let ℳ and N be two normed space L-structures. If ℳ and N have isomorphic ultrapowers, by Corollary 9.4 they must be approximately elementarily equivalent. Theorem 10.7 below gives the converse (in a strong form). Together these results show that ultrapower equivalence of ℳ and N is the same as approximate elementary equivalence. (See the discussion of this issue in the Introduction.) Theorem 10.8 below is a similar result for ultraproducts. Among other things, it shows that the ultrafilter guaranteed by Theorem 10.7 can be chosen in a highly uniform way and that the ultrapowers in question can be taken to be highly saturated. The uniformity will be exploited in Chapter 12 to prove the existence of ultrapowers that are highly homogeneous (in addition to being highly saturated). The results in this chapter are analogous to the Keisler-Shelah Theorem in ordinary model theory. (See [She71] and Chapter 6 in [CK90].) Moreover, our proof follows a similar line of argument, with adjustments appropriate to the handling of positive bounded formulas and their approximations.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
https://doi.org/10.1017/cbo9781107360006.012DOIArticle
Additional Information:© 2003 Cambridge University Press.
Series Name:London Mathematical Society Lecture Note Series
Issue or Number:262
Record Number:CaltechAUTHORS:20180816-160145747
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20180816-160145747
Official Citation:Henson, C., Iovino, J., Kechris, A., & Odell, E. (2003). Isomorphic Ultrapowers. In C. Finet & C. Michaux (Eds.), Analysis and Logic (London Mathematical Society Lecture Note Series, pp. 55-71). Cambridge: Cambridge University Press. doi:10.1017/CBO9781107360006.012
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:88886
Collection:CaltechAUTHORS
Deposited By: George Porter
Deposited On:17 Aug 2018 14:32
Last Modified:03 Oct 2019 20:11

Repository Staff Only: item control page