Hostname: page-component-7479d7b7d-wxhwt Total loading time: 0 Render date: 2024-07-10T16:24:42.500Z Has data issue: false hasContentIssue false

Modular types in some supersimple theories

Published online by Cambridge University Press:  12 March 2014

Ludomir Newelski*
Affiliation:
Mathematical Institute, University of Wroclaw, PL. Grunwaldzki 2/4, 50-384 Wroclaw, Poland Mathematical Institute of the Polish Academy of Sciences

Abstract

We consider a small supersimple theory with a property (CS) (close to stability). We prove that if in such a theory T there is a type pS(A) (where A is finite) with SU(p) = 1 and infinitely many extensions over acleq(A), then in T there is a modular such type. Also, if T is supersimple with (CS) and pS(∅) is isolated, SU(p) = 1 and p has infinitely many extensions over acleq (∅), then p is modular.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Buechler, S., The geometry of weakly minimal types, this Journal, vol. 50 (1985), pp. 10441053.Google Scholar
[2]Buechler, S., Pillay, A., and Wagner, F., Supersimple theories, Journal of the American Mathematical Society, vol. 14 (2001), pp. 109124.CrossRefGoogle Scholar
[3]Cherlin, G., Harrington, L., and Lachlan, A., 0-categorical ℵ0-stable structures, Annals of Pure and Applied Logic, vol. 28 (1985), pp. 103135.CrossRefGoogle Scholar
[4]de Piro, T. and Kim, B., The geometry of 1-based minimal type, manuscript, 2001.Google Scholar
[5]Hart, B., Kim, B., and Pillay, A., Coordinatization and canonical bases in simple theories, this Journal, vol. 65 (2000), pp. 293309.Google Scholar
[6]Hrushovski, E., Locally modular regular types, Classification Theory (Chicago '85) (Baldwin, J. T., editor). Springer, 1987, pp. 132164.CrossRefGoogle Scholar
[7]Kim, B. and Pillay, A., Simple theories, Annals of Pure and Applied Logic, vol. 88 (1997), pp. 149164.CrossRefGoogle Scholar
[8]Newelski, L., Meager forking, Annals of Pure and Applied Logic, vol. 70 (1994), pp. 141175.CrossRefGoogle Scholar
[9]Newelski, L., M-rank and meager types, Fundamenta Mathematicae, vol. 146 (1995), pp. 121139.CrossRefGoogle Scholar
[10]Newelski, L., Small profinite structures, Transactions of the American Mathematical Society, vol. 354 (2002), pp. 925943.CrossRefGoogle Scholar
[11]Pillay, A., Geometric Stability Theory, Oxford, 1996.CrossRefGoogle Scholar
[12]Shelah, S., Simple unstable theories, Annals of Pure and Applied Logic, vol. 19 (1980), pp. 177203.Google Scholar
[13]Wagner, F., Simple Theories, Kluwer, 2000.CrossRefGoogle Scholar
[14]Zilber, B., Strongly minimal countably categorical theories, Sibirskii Mathematicheskii Zhurnal, vol. 21 (1980), pp. 98112, in Russian.Google Scholar