Coordinatization in superstable theories. I. Stationary types
HTML articles powered by AMS MathViewer
 by Steven Buechler PDF
 Trans. Amer. Math. Soc. 288 (1985), 101114 Request permission
Abstract:
Suppose $T$ is superstable and $P$ is a complete type over some finite set with $U(p) = \alpha + 1$ for some $\alpha$. We show how to associate with $p$ an incidence geometry which measures the complexity of the family of extensions of $p$ of rank $\alpha$. When $p$ is stationary we give a characterization of the possible incidence geometries. As an application we prove Theorem. Suppose $M$ is superstable and has only one $1$type $p \in S(\emptyset )$. Further suppose $p$ is stationary with $U(p) = \alpha + 1$ for some $\alpha$. Then one of the following holds: (i) There is an equivalence relation $E \subset {M^2}$ with infinitely many infinite classes definable over $\emptyset$. (ii) $M$ is the algebraic closure of a set of Morley rank $1$. In particular, $M$ is ${\aleph _0}$stable of finite rank.References

S. Buechler, A note on normalization preprint, 1983.
 G. Cherlin, L. Harrington, and A. H. Lachlan, $\aleph _0$categorical, $\aleph _0$stable structures, Ann. Pure Appl. Logic 28 (1985), no. 2, 103–135. MR 779159, DOI 10.1016/01680072(85)900235
 P. Dembowski, Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, SpringerVerlag, BerlinNew York, 1968. MR 0233275
 Victor Harnik and Leo Harrington, Fundamentals of forking, Ann. Pure Appl. Logic 26 (1984), no. 3, 245–286. MR 747686, DOI 10.1016/01680072(84)900058
 A. H. Lachlan, Two conjectures regarding the stability of $\omega$categorical theories, Fund. Math. 81 (1973/74), no. 2, 133–145. MR 337572, DOI 10.4064/fm812133145
 Daniel Lascar, Ranks and definability in superstable theories, Israel J. Math. 23 (1976), no. 1, 53–87. MR 409169, DOI 10.1007/BF02757234
 Daniel Lascar and Bruno Poizat, An introduction to forking, J. Symbolic Logic 44 (1979), no. 3, 330–350. MR 540665, DOI 10.2307/2273127
 M. Makkai, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, Israel J. Math. 49 (1984), no. 13, 181–238. MR 788268, DOI 10.1007/BF02760649
 Anand Pillay, An introduction to stability theory, Oxford Logic Guides, vol. 8, The Clarendon Press, Oxford University Press, New York, 1983. MR 719195
 Saharon Shelah, Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics, vol. 92, NorthHolland Publishing Co., AmsterdamNew York, 1978. MR 513226 B. I. Zil’ber, Totally categorical structures and combinatorial geometries, Soviet Math. Dokl. 24 (1981), 149151.
Additional Information
 © Copyright 1985 American Mathematical Society
 Journal: Trans. Amer. Math. Soc. 288 (1985), 101114
 MSC: Primary 03C45
 DOI: https://doi.org/10.1090/S00029947198507730493
 MathSciNet review: 773049