The classification of small weakly minimal sets I
We prove a structure theorem for T which implies that T has countably many countable models. This proves Vaught's conjecture (in fact, Martin's conjecture) for a large class of weakly minimal theories.
Unable to display preview. Download preview PDF.
- [Ba]J.T. Baldwin, Fundamentals of stability theory, Springer-Verlag (to appear).Google Scholar
- [B1]S. Buechler, The geometry of weakly minimal types, J. of Symbolic Logic, Vol.50,No.4 (Dec., 1985).Google Scholar
- [B3]_____, On non-trivial types of U-rank 1, J. of Symbolic Logic (to appear).Google Scholar
- [B4]_____, Isolated types in a weakly minimal set, preprint,1986.Google Scholar
- [La]D. Lascar, Définissabilite de types en théories de modèles, These de Doctorat D'Etat, Paris VII, 1975.Google Scholar
- [P]A. Pillay, An introduction to stability theory, Oxford Univ. Press (1983).Google Scholar
- [PS]A. Pillay, C. Steinhorn, A note on non-multidimensional superstable theories, J. of Symbolic Logic (to appear).Google Scholar
- [S]J. Saffe, On Vaught's conjecture for superstable theories, preprint (1982).Google Scholar
- [Sa]G. Sacks, Saturated model theory, W.A. Benjamin (1972).Google Scholar
- [Sh]S. Shelah, Classification theory and the number of non-isomorphic models, North-Holland (1978).Google Scholar
- [St]C. Steinhorn, On logics that express "there exist many indiscernibles", Doctoral dissertation, Univ. of Wisconsin-Madison (1980).Google Scholar