Coordinatization in superstable theories. I. Stationary types

Buechler, Steven

doi:10.1090/S0002-9947-1985-0773049-3

Coordinatization in superstable theories. I. Stationary types
HTML articles powered by AMS MathViewer

by Steven Buechler PDF

Trans. Amer. Math. Soc. 288 (1985), 101-114 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

A note on normalization

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/0168-0072(85)90023-5
P. Dembowski, Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Springer-Verlag, Berlin-New 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/0168-0072(84)90005-8
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/fm-81-2-133-145
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. 1-3, 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, North-Holland Publishing Co., Amsterdam-New York, 1978. MR 513226

Totally categorical structures and combinatorial geometries

24