Abstract
We find conditions such that every \(\lambda \)-homogeneous model with small \( \lambda \) satisfying these conditions is homogeneous. As a corollary, we obtain conditions guaranteeing that the following implication holds: If \(T \) is a theory, \(\mu >|T| \), and every model of \(T \) of cardinality \( \mu \) is \(\omega _1\) -homogeneous then every model of \(T\) of sufficiently large cardinality is homogeneous.
Similar content being viewed by others
REFERENCES
J. T. Baldwin and A. H. Lachlan, “On strongly minimal sets,” J. Symbolic Logic 36, 79 (1971).
R. Grossberg and O. Lessmann, “Shelah’s stability spectrum and homogeneity spectrum in finite diagrams,” Arch. Math. Logic 41, 1 (2002).
E. Hrushovski, “Unidimensional theories are superstable,” Ann. Pure Appl. Logic 50, 117 (1990).
H. J. Keisler and M. D. Morley, “On the number of homogeneous models of a given power,” Israel J. Math. 5, 73 (1967).
K. Zh. Kudaĭbergenov, “On homogeneous models of totally transcendental nonmultidimensional theories,” Algebra i logika 30, 48 (1991) [Algebra and Logic 30, 32 (1991)].
K. Zh. Kudaĭbergenov, “Homogeneous models of stable theories,” Trudy Inst. Mat. 25, 41 (1993) [Siberian Adv. Math. 3:3, 56 (1993)].
K. Zh. Kudaĭbergenov, “Homogeneous models for unidimensional theories,” Algebra i logika 34, 61 (1995) [Algebra and Logic 34, 35 (1995)].
K. Zh. Kudaĭbergenov, “On homogeneous models of some weakly minimal theories,” Sib. Matem. Zh. 40, 1253 (1999) [Siberian Math. J. 40, 1059 (1999)].
K. Zh. Kudaĭbergenov, “Homogeneous models of locally modular theories of finite rank,” Mat. Trudy 5, no. 1, 74 (2002) [Siberian Adv. Math. 12:3, 32 (2002)].
K. Zh. Kudaĭbergenov, “Homogeneous models and stable diagrams,” Sib. Matem. Zh. 43, 1064 (2002) [Siberian Math. J. 43, 858 (2002)].
K. Zh. Kudaĭbergenov, “Preservation and violation of homogeneity of models under a special expansion,” Mat. Trudy 12, no. 1, 117 (2009) [Siberian Adv. Math. 19, 268 (2009)].
M. Makkai, “A survey of basic stability theory with particular emphasis on orthogonality and regular types,” Israel J. Math. 49, 181 (1984).
A. Pillay and P. Rothmaler, “Non-totally transcendental unidimensional theories,” Arch. Math. Logic 30, 93 (1990).
G. E. Sacks, Saturated Model Theory (W. A. Benjamin, Reading, MA, 1972).
S. Shelah, “Finite diagrams stable in power,” Ann. Math. Logic 2, 69 (1970).
S. Shelah, “The lazy model-theoretician’s guide to stability,” Logique Anal., Nouv. Sér. 18, 241 (1975).
S. Shelah, Classification Theory and the Number of Nonisomorphic Models (North Holland, Amsterdam, 1978).
Author information
Authors and Affiliations
Corresponding author
About this article
Cite this article
Kudaĭbergenov, K.Z. High and Low Homogeneity. Sib. Adv. Math. 31, 13–26 (2021). https://doi.org/10.1134/S1055134421010028
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1055134421010028