Article contents
A theorem on the isomorphism property
Published online by Cambridge University Press: 12 March 2014
Abstract
An -structure is called internally presented in a nonstandard universe if its base set and interpretation of every symbol in are internal. A nonstandard universe is said to satisfy the κ-isomorphism property if for any two internally presented -structures and , where has less than κ many symbols, is elementarily equivalent to implies that is isomorphic to . In this paper we prove that the ℵ1-isomorphism property is equivalent to the ℵ0-isomorphism property plus ℵ1-saturation.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1992
References
REFERENCES
[CK]Chang, Chen Chung and Keisler, H. Jerome, Model theory, North-Holland, Amsterdam, 1973; 3rd ed., 1990.Google Scholar
[H1]Henson, C. Ward, The isomorphism property in nonstandard analysis and its use in the theory of Banach space, this Journal, vol. 39 (1974), pp. 717–731.Google Scholar
[H2]Henson, C. Ward, When do two Banach spaces have isometrically isomorphic nonstandard hulls, Israel Journal of Mathematics, vol. 22 (1975), pp. 57–67.CrossRefGoogle Scholar
[H3]Henson, C. Ward, Nonstandard hulls of Banach spaces, Israel Journal of Mathematics, vol. 25 (1976), pp. 108–144.CrossRefGoogle Scholar
[J]Jin, Renling, The isomorphism property versus the special model axiom, this Journal, vol. 57 (1992), (to appear).Google Scholar
[R]Ross, David, “The special model axiom in nonstandard analysis, this Journal, vol. 55 (1990), pp. 1233–1242.Google Scholar
- 5
- Cited by