Abstract
We introduce a new approach to the model theory of metric structures by defining the notion of a metric abstract elementary class (MAEC) closely resembling the notion of an abstract elementary class. Further we define the framework of a homogeneous MAEC were we additionally assume the existence of arbitrarily large models, joint embedding, amalgamation, homogeneity and a property which we call the perturbation property. We also assume that the Löwenheim-Skolem number, which in this setting refers to the density character of the set instead of the cardinality, is \({\aleph_0}\). In these settings we prove an analogue of Morley’s categoricity transfer theorem. We also give concrete examples of homogeneous MAECs.
Similar content being viewed by others
References
Banach S.: Théorie des óperations linéaires, 2d edn. Chelsea Publishing Co., New York (1978)
Ben-Yaacov I.: Positive model theory and compact abstract theories. J. Math. Log. 3(1), 85–118 (2003)
Ben-Yaacov I.: Uncountable dense categoricity in cats. J. Symb. Log. 70(3), 829–860 (2005)
Ben Yaacov, I.: On Perturbations of Continuous Structures (Submitted)
Ben-Yaacov, I., Berenstein, A.: On perturbations of Hilbert spaces and probability albegras with a generic automorphism (Submitted)
Ben-Yaacov, I., Usvyatsov, A.: Continuous first order logic and local stability. Trans. AMS (To appear)
Ben-Yaacov I., Usvyatsov A.: On d-finiteness in continuous structures. Fundam. Math. 194, 67–88 (2007)
Berenstein A., Buechler S.: Simple stable homogeneous expansions of Hilbert spaces. Ann. Pure Appl. Log. 128(1–3), 75–101 (2004)
Berenstein, A., Henson, C.W.: Model theory of probability spaces with an automorphism, 2004. Submitted (arXiv:math/0405360v1)
Bretagnolle J., Dacunha-Castelle D., Krivine J.-L.: Lois stables et espaces L p. Ann. Inst. H. Poincaré Sect. B (N.S.) 2, 231–259 (1965/1966)
Buechler S., Lessmann O.: Simple homogeneous models. J. Am. Math. Soc. 16(1), 91–121 (2003) (electronic)
Castillo J.M.F., González M.: Three-space Problems in Banach Space Theory, Volume 1667 of Lecture Notes in Mathematics. Springer-Verlag, Berlin (1997)
Chang C.-C., Keisler H.J.: Continuous Model Theory. Annals of Mathematics Studies, No. 58. Princeton University Press, Princeton (1966)
Dacunha-Castelle D., Krivine J.L.: Applications des ultraproduits à l’étude des espaces et des algèbres de Banach. Studia Math. 41, 315–334 (1972)
Grossberg, R.: Classification theory for abstract elementary classes. In: Logic and Algebra, Volume 302 of Contemp. Math., pp. 165–204. Amer. Math. Soc., Providence (2002)
Henson C.W.: When do two Banach spaces have isometrically isomorphic nonstandard hulls?. Israel J. Math. 22(1), 57–67 (1975)
Henson C.W.: Nonstandard hulls of Banach spaces. Israel J. Math. 25(1-2), 108–144 (1976)
Henson, C.W., Iovino, J.: Ultraproducts in analysis. In: Analysis and logic (Mons, 1997), volume 262 of London Math. Soc. Lecture Note Ser., pp. 1–110. Cambridge Univ. Press, Cambridge, 2002
Hirvonen, Å., Hyttinen, T.: Metric abstract elementary classes with perturbations (Submitted)
Hyttinen T., Shelah S.: Strong splitting in stable homogeneous models. Ann. Pure Appl. Logic 103(1–3), 201–228 (2000)
Iovino, J.: Stable Banach spaces and Banach space structures. I. Fundamentals. In: Models, Algebras, and Proofs (Bogotá, 1995), Volume 203 of Lecture Notes in Pure and Appl. Math., pp. 77–95. Dekker, New York (1999)
Iovino, J.: Stable Banach spaces and Banach space structures. II. Forking and compact topologies. In: Models, Algebras, and Proofs (Bogotá, 1995), Volume 203 of Lecture Notes in Pure and Appl. Math., pp. 97–117. Dekker, New York (1999)
Iovino J.: On the maximality of logics with approximations. J. Symb. Log. 66(4), 1909–1918 (2001)
Jónsson B.: Universal relational systems. Math. Scand. 4, 193–208 (1956)
Jónsson B.: Homogeneous universal relational systems. Math. Scand. 8, 137–142 (1960)
Krivine J.-L., Maurey B.: Espaces de Banach stables. Israel J. Math. 39(4), 273–295 (1981)
Luxemburg, W.A.J.: A general theory of monads. In: Applications of Model Theory to Algebra, Analysis, and Probability (Internat. Sympos., Pasadena, Calif., 1967), pp. 18–86. Holt, Rinehart and Winston, New York (1969)
Shelah S.: Finite diagrams stable in power. Ann. Math. Log. 2(1), 69–118 (1970/1971)
Shelah, S.: The lazy model-theoretician’s guide to stability. Logique et Analyse (N.S.), 18(71–72), 241–308, (1975). Comptes Rendus de la Semaine d’Étude en Théorie des Modèles. Inst. Math., Univ. Catholique Louvain, Louvain-la-Neuve (1975)
Shelah, S.: Classification of nonelementary classes. II. Abstract elementary classes. In: Classification Theory (Chicago, IL, 1985), Volume 1292 of Lecture Notes in Math., pp. 419–497. Springer, Berlin (1987)
Shelah, S.: Classification theory and the number of nonisomorphic models. Volume 92 of Studies in Logic and the Foundations of Mathematics, 2nd edn. North-Holland Publishing Co., Amsterdam (1990)
Shelah S.: Categoricity for abstract classes with amalgamation. Ann. Pure Appl. Log. 98(1–3), 261–294 (1999)
Shelah, S., Usvyatsov, A.: Model theoretic stability and categoricity for complete metric spaces. Israel J. Math. (To appear)
Singer I.: Bases in Banach spaces. II. Editura Academiei Republicii Socialiste România, Bucharest (1981)
Author information
Authors and Affiliations
Corresponding author
Additional information
Å. Hirvonen, supported by the Finnish Academy of Science and Letters (Vilho, Yrjö ja Kalle Väisälän rahasto) and the graduate school MALJA. T. Hyttinen, partially supported by the Academy of Finland, grant 1106753.
Rights and permissions
About this article
Cite this article
Hirvonen, Å., Hyttinen, T. Categoricity in homogeneous complete metric spaces. Arch. Math. Logic 48, 269–322 (2009). https://doi.org/10.1007/s00153-009-0120-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-009-0120-z