Weakly homogeneous models
Author: Anand Pillay
Journal: Proc. Amer. Math. Soc. 86 (1982), 126-132
MSC: Primary 03C45; Secondary 03C15, 03C50
MathSciNet review: 663881
Abstract: I consider some notions of weak homogeneity, which generalise -homogeneity. I first analyse a specific such notion, called almost homogeneity, in the context of -stable theories. (Almost homogeneity is just like -homogeneity, but using strong types in place of types.) Then in a more general context, I prove for weakly homogeneous countable models some classification results which are known for -homogeneous countable models, in particular the result that the isomorphism type of such a model is determined by the types which it realises.
-  E. Bouscaren and D. Lascar, The countable models of a non-multidimensional -stable theory (to appear).
-  Daniel Lascar and Bruno Poizat, An introduction to forking, J. Symbolic Logic 44 (1979), no. 3, 330–350. MR 540665, https://doi.org/10.2307/2273127
-  Saharon Shelah, Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam-New York, 1978. MR 513226
- E. Bouscaren and D. Lascar, The countable models of a non-multidimensional -stable theory (to appear).
- D. Lascar and B. Poizat, An introduction to forking, J. Symbolic Logic 44 (1979), 330-350. MR 540665 (80k:03030)
- S. Shelah, Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978. MR 513226 (81a:03030)
Keywords: Strong type, -stable, almost homogeneous, -homogeneous
Article copyright: © Copyright 1982 American Mathematical Society