Summary
We define a generalized notion of rank for stable theories without dense forking chains, and use it to derive that every type is domination-equivalent to a finite product of regular types. We apply this to show that in a small theory admitting finite coding, no realisation of a nonforking extension of some strong type can be algebraic over some realisation of a forking extension.
Similar content being viewed by others
References
[H1] Hrushovski, E.: Contributions to stable model theory. Berkeley: PhD-Thesis 1986
[H2] Hrushovski, E.: Locally modular regular types. In: Baldwin, J.T. (ed.) Classification theory (Proceedings, Chicago 1985) (vol. 1292, pp. 132–164) Berlin Heidelberg New York: Springer 1987
[H3] Hrushovski, E.: Finitely based theories. J. Symb. Logic54, 221–225 (1989)
[L] Lascar, D., Stability in model theory. New York: Longman 1987
[P1] Pillay, A.: Introduction to stability theory. Oxford: Clarendon Press 1983
[P2] Pillay, A.: Countable models of one-based theories. Preprint 1990
[P3] Pillay, A.: Stable theories pseudoplanes and the number of countable models. Ann Pure Appl. Logic43, 147–160 (1989)
[Po] Poizat, B.P.: Cours de théorie des modèles. Nur Al-Mantiq Wal-Ma'rifah: Villeurbane 1985
[Wa] Wagner, F.O.: Small stable groups and generics. J. Symb. Logic (to appear)
Author information
Authors and Affiliations
Additional information
Research supported by the Deutsche Forschungsgemeinschaft
Thanks as always to Alistair. Research supported by NSERC and FCAR
Partially supported by NSF grant DMS90 06628
Rights and permissions
About this article
Cite this article
Herwig, B., Loveys, J.G., Pillay, A. et al. Stable theories without dense forking chains. Arch Math Logic 31, 297–303 (1992). https://doi.org/10.1007/BF01627503
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01627503