Simple homogeneous models
Authors:
Steven Buechler and Olivier Lessmann
Journal:
J. Amer. Math. Soc. 16 (2003), 91121
MSC (2000):
Primary 03C45
Published electronically:
October 8, 2002
MathSciNet review:
1937201
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: Geometrical stability theory is a powerful set of modeltheoretic tools that can lead to structural results on models of a simple firstorder theory. Typical results offer a characterization of the groups definable in a model of the theory. The work is carried out in a universal domain of the theory (a saturated model) in which the Stone space topology on ultrafilters of definable relations is compact. Here we operate in the more general setting of homogeneous models, which typically have noncompact Stone topologies. A structure equipped with a class of finitary relations is strongly homogeneous if orbits under automorphisms of have finite character in the following sense: Given an ordinal and sequences , from , if and have the same orbit, for all and , then for some automorphism of . In this paper strongly homogeneous models in which the elements of induce a symmetric and transitive notion of independence with bounded character are studied. This notion of independence, defined using a combinatorial condition called ``dividing'', agrees with forking independence when is saturated. A concept central to the development of stability theory for saturated structures, namely parallelism, is also shown to be wellbehaved in this setting. These results broaden the scope of the methods of geometrical stability theory.
 [BB02]
A. Berenstein and S. Buechler.
Simple stable homogeneous expansions of Hilbert spaces. preprint, 2002.
 [Ber02]
Alexander Berenstein.
Dependence relations on homogeneous groups and homogeneous expansions of Hilbert spaces. PhD thesis, University of Notre Dame, 2002.
 [BPW01]
Steven
Buechler, Anand
Pillay, and Frank
Wagner, Supersimple theories, J. Amer. Math. Soc. 14 (2001), no. 1, 109–124. MR 1800350
(2001j:03065), http://dx.doi.org/10.1090/S0894034700003507
 [Bue96]
Steven
Buechler, Essential stability theory, Perspectives in
Mathematical Logic, SpringerVerlag, Berlin, 1996. MR 1416106
(98j:03050)
 [BY02]
Itay BenYaacov.
Discouraging results for ultraimaginary independence theory. preprint, 2002.
 [CH99]
Zoé
Chatzidakis and Ehud
Hrushovski, Model theory of difference
fields, Trans. Amer. Math. Soc.
351 (1999), no. 8,
2997–3071. MR 1652269
(2000f:03109), http://dx.doi.org/10.1090/S0002994799024988
 [CHL85]
G.
Cherlin, L.
Harrington, and A.
H. Lachlan, ℵ₀categorical, ℵ₀stable
structures, Ann. Pure Appl. Logic 28 (1985),
no. 2, 103–135. MR 779159
(86g:03054), http://dx.doi.org/10.1016/01680072(85)900235
 [CK73]
C.
C. Chang and H.
J. Keisler, Model theory, NorthHolland Publishing Co.,
AmsterdamLondon; American Elsevier Publishing Co., Inc., New York, 1973.
Studies in Logic and the Foundations of Mathematics, Vol. 73. MR 0409165
(53 #12927)
 [GL]
Rami Grossberg and Olivier Lessmann.
Shelah's stability spectrum and homogeneity spectrum in finite diagrams. Archive for Mathematical Logic. to appear.
 [HKP00]
Bradd
Hart, Byunghan
Kim, and Anand
Pillay, Coordinatisation and canonical bases in simple
theories, J. Symbolic Logic 65 (2000), no. 1,
293–309. MR 1782121
(2001j:03066), http://dx.doi.org/10.2307/2586538
 [HL]
Tapani Hyttinen and Olivier Lessmann.
A rank for the class of elementary submodels of a superstable homogeneous model. Journal of Symbolic Logic, to appear.
 [Hru97]
Ehud
Hrushovski, Stability and its uses, Current developments in
mathematics, 1996 (Cambridge, MA), Int. Press, Boston, MA, 1997,
pp. 61–103. MR 1724945
(2000h:11124)
 [Hru98]
Ehud
Hrushovski, Geometric model theory, Proceedings of the
International Congress of Mathematicians, Vol. I (Berlin, 1998), 1998,
pp. 281–302 (electronic). MR 1648035
(2000b:03120)
 [Hru]
Ehud Hrushovski.
Simplicity and the lascar group. preprint, 1998.
 [HS65]
Edwin
Hewitt and Karl
Stromberg, Real and abstract analysis. A modern treatment of the
theory of functions of a real variable, SpringerVerlag, New York,
1965. MR
0188387 (32 #5826)
 [HS00]
Tapani Hyttinen and Saharon Shelah.
Strong splitting in stable homogeneous models. Ann. Pure Appl. Logic, 103(13):201228, 2000. MR 2001:03068
 [HZ96]
Ehud
Hrushovski and Boris
Zilber, Zariski geometries, J. Amer. Math. Soc. 9 (1996), no. 1, 1–56. MR 1311822
(96c:03077), http://dx.doi.org/10.1090/S0894034796001804
 [Iov99]
José
Iovino, Stable Banach spaces and Banach space structures. I.
Fundamentals, Models, algebras, and proofs (Bogotá, 1995)
Lecture Notes in Pure and Appl. Math., vol. 203, Dekker, New York,
1999, pp. 77–95. MR 1686915
(2000h:03064a)
 [Kei71]
H.
Jerome Keisler, Model theory for infinitary logic. Logic with
countable conjunctions and finite quantifiers, NorthHolland
Publishing Co., AmsterdamLondon, 1971. Studies in Logic and the
Foundations of Mathematics, Vol. 62. MR 0344115
(49 #8855)
 [Kim98]
Byunghan
Kim, Forking in simple unstable theories, J. London Math. Soc.
(2) 57 (1998), no. 2, 257–267. MR 1644264
(2000a:03052), http://dx.doi.org/10.1112/S0024610798005985
 [KP]
B. Kim and A. Pillay.
Simple theories. Annals of Pure and Applied Logic. to appear.
 [Las82]
Daniel
Lascar, On the category of models of a complete theory, J.
Symbolic Logic 47 (1982), no. 2, 249–266. MR 654786
(84g:03055), http://dx.doi.org/10.2307/2273140
 [MP97]
David
Marker and Anand
Pillay, Differential Galois theory. III. Some inverse
problems, Illinois J. Math. 41 (1997), no. 3,
453–461. MR 1458184
(99m:12011)
 [Pil97]
Anand
Pillay, Differential Galois theory. II, Ann. Pure Appl. Logic
88 (1997), no. 23, 181–191. Joint AILAKGS
Model Theory Meeting (Florence, 1995). MR 1600903
(99m:12010), http://dx.doi.org/10.1016/S01680072(97)000213
 [Pil98]
Anand
Pillay, Differential Galois theory. I, Illinois J. Math.
42 (1998), no. 4, 678–699. MR 1649893
(99m:12009)
 [Pil]
Anand Pillay.
Forking in the category of existentially closed structures. preprint, 1998.
 [She70]
Saharon
Shelah, Finite diagrams stable in power, Ann. Math. Logic
2 (1970/1971), no. 1, 69–118. MR 0285374
(44 #2593)
 [She75]
Saharon
Shelah, The lazy modeltheoretician’s guide to
stability, Logique et Analyse (N.S.) 18 (1975),
no. 7172, 241–308. Comptes Rendus de la Semaine
d’Étude en Théorie des Modèles (Inst. Math.,
Univ. Catholique Louvain, LouvainlaNeuve, 1975). MR 0539969
(58 #27447)
 [She80]
Saharon
Shelah, Simple unstable theories, Ann. Math. Logic
19 (1980), no. 3, 177–203. MR 595012
(82g:03055), http://dx.doi.org/10.1016/00034843(80)900091
 [She90]
S.
Shelah, Classification theory and the number of nonisomorphic
models, 2nd ed., Studies in Logic and the Foundations of Mathematics,
vol. 92, NorthHolland Publishing Co., Amsterdam, 1990. MR 1083551
(91k:03085)
 [Wag01]
Frank
Wagner, Hyperdefinable groups in simple theories, J. Math.
Log. 1 (2001), no. 1, 125–172. MR 1838357
(2002f:03068), http://dx.doi.org/10.1142/S0219061301000053
 [Zil93]
Boris
Zilber, Uncountably categorical theories, Translations of
Mathematical Monographs, vol. 117, American Mathematical Society,
Providence, RI, 1993. Translated from the Russian by D. Louvish. MR 1206477
(94h:03059)
 [BB02]
 A. Berenstein and S. Buechler.
Simple stable homogeneous expansions of Hilbert spaces. preprint, 2002.
 [Ber02]
 Alexander Berenstein.
Dependence relations on homogeneous groups and homogeneous expansions of Hilbert spaces. PhD thesis, University of Notre Dame, 2002.
 [BPW01]
 S. Buechler, A. Pillay, and F. Wagner.
Supersimple theories. J. Amer. Math. Soc., 14:109124, 2001. MR 2001j:03065
 [Bue96]
 Steven Buechler.
Essential Stability Theory. Perspectives in Mathematical Logic. SpringerVerlag, Berlin/Heidelberg/New York, 1996. MR 98j:03050
 [BY02]
 Itay BenYaacov.
Discouraging results for ultraimaginary independence theory. preprint, 2002.
 [CH99]
 Zoé Chatzidakis and Ehud Hrushovski.
Model theory of difference fields. Trans. Amer. Math. Soc., 351(8):29973071, 1999. MR 2000f:03109
 [CHL85]
 G. Cherlin, L. Harrington, and A. H. Lachlan.
categorical, stable structures. Ann. Pure Appl. Logic, 28(2):103135, 1985. MR 86g:03054
 [CK73]
 C. C. Chang and H. J. Keisler.
Model Theory. North Holland/Elsevier, Amsterdam/London/New York, 1973. MR 53:12927
 [GL]
 Rami Grossberg and Olivier Lessmann.
Shelah's stability spectrum and homogeneity spectrum in finite diagrams. Archive for Mathematical Logic. to appear.
 [HKP00]
 B. Hart, B. Kim, and A. Pillay.
Coordinatisation and canonical bases in simple theories. J. of Symbolic Logic, 65:293309, 2000. MR 2001j:03066
 [HL]
 Tapani Hyttinen and Olivier Lessmann.
A rank for the class of elementary submodels of a superstable homogeneous model. Journal of Symbolic Logic, to appear.
 [Hru97]
 Ehud Hrushovski.
Stability and its uses. In Current developments in mathematics, 1996 (Cambridge, MA), pages 61103. Int. Press, Boston, MA, 1997. MR 2000h:11124
 [Hru98]
 Ehud Hrushovski.
Geometric model theory. In Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), Doc. Math. 1998, Extra Vol. I, pages 281302 (electronic), 1998. MR 2000b:03120
 [Hru]
 Ehud Hrushovski.
Simplicity and the lascar group. preprint, 1998.
 [HS65]
 Edwin Hewitt and Karl Stromberg.
Real and Abstract Analysis. SpringerVerlag, Berlin/ Heidelberg/ New York, 1965. MR 32:5826
 [HS00]
 Tapani Hyttinen and Saharon Shelah.
Strong splitting in stable homogeneous models. Ann. Pure Appl. Logic, 103(13):201228, 2000. MR 2001:03068
 [HZ96]
 Ehud Hrushovski and Boris Zilber.
Zariski geometries. J. Amer. Math. Soc., 9(1):156, 1996. MR 96c:03077
 [Iov99]
 José Iovino.
Stable Banach spaces and banach space structures i: Fundamentals. In Models, Algebra, and Proofs. (Bogota 1995), volume 203 of Lecture notes in pure and applied mathematics, pages 7795. MarcelDekker, New York, 1999. MR 2000h:03064a
 [Kei71]
 H. J. Keisler.
Model theory for infinitary logic. NorthHolland, Amsterdam/New York, 1971. MR 49:8855
 [Kim98]
 Byunghan Kim.
Forking in simple unstable theories. Journal of the London Math. Society, 57(2):257267, 1998. MR 2000a:03052
 [KP]
 B. Kim and A. Pillay.
Simple theories. Annals of Pure and Applied Logic. to appear.
 [Las82]
 Daniel Lascar.
On the category of models of a complete theory. J. of Symbolic Logic, 47:249266, 1982. MR 84g:03055
 [MP97]
 David Marker and Anand Pillay.
Differential Galois theory. III. Some inverse problems. Illinois J. Math., 41(3):453461, 1997. MR 99m:12011
 [Pil97]
 Anand Pillay.
Differential Galois theory. II. Ann. Pure Appl. Logic, 88(23):181191, 1997. Joint AILAKGS Model Theory Meeting (Florence, 1995). MR 99m:12010
 [Pil98]
 Anand Pillay.
Differential Galois theory. I. Illinois J. Math., 42(4):678699, 1998. MR 99m:12009
 [Pil]
 Anand Pillay.
Forking in the category of existentially closed structures. preprint, 1998.
 [She70]
 Saharon Shelah.
Finite diagrams stable in power. Annals of Pure and Applied Logic, 2:69118, 1970. MR 44:2593
 [She75]
 Saharon Shelah.
The lazy model theorist's guide to stability. In P. Henrand, editor, Proc. of a Symp. in Louvain, March, 1975, volume 71 of Logique et Analyse, pages 241308, 1975. MR 58:27447
 [She80]
 Saharon Shelah.
Simple unstable theories. Annals of Pure and Applied Logic, 19:177203, 1980. MR 82g:03055
 [She90]
 Saharon Shelah.
Classification Theory and the number of nonisomorphic models. NorthHolland, Amsterdam and New York, 1990. Revised Edition. MR 91k:03085
 [Wag01]
 Frank Wagner.
Hyperdefinable groups in simple theories. J. Math. Log., 1(1):125172, 2001. MR 2002f:03068
 [Zil93]
 Boris Zilber.
Uncountably categorical theories. American Mathematical Society, Providence, RI, 1993. Translated from the Russian by D. Louvish. MR 94h:03059
Similar Articles
Retrieve articles in Journal of the American Mathematical Society
with MSC (2000):
03C45
Retrieve articles in all journals
with MSC (2000):
03C45
Additional Information
Steven Buechler
Affiliation:
Department of Mathematics, 255 Hurley Hall, University of Notre Dame, Notre Dame, Indiana 46556
Email:
buechler.1@nd.edu
Olivier Lessmann
Affiliation:
Mathematical Institute, 2429 St. Giles, Oxford University, Oxford OX1 3LB, United Kingdom
Email:
lessmann@maths.ox.ac.uk
DOI:
http://dx.doi.org/10.1090/S0894034702004071
PII:
S 08940347(02)004071
Keywords:
Stability theory,
simple theories,
nonelementary classes
Received by editor(s):
September 22, 2001
Received by editor(s) in revised form:
August 19, 2002
Published electronically:
October 8, 2002
Additional Notes:
Research of the first author was partially supported by the NSF
Article copyright:
© Copyright 2002
American Mathematical Society
