The classification of small weakly minimal sets I

  • Steven Buechler
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 1292)


Let T be a weakly minimal theory with fewer than
many countable models. Further suppose that T satisfies (S) for all finite A and weakly minimal p ε S(A), if p is non-isolated then p has finite multiplicity.

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.

Unable to display preview. Download preview PDF.


  1. [Ba]
    J.T. Baldwin, Fundamentals of stability theory, Springer-Verlag (to appear).Google Scholar
  2. [B1]
    S. Buechler, The geometry of weakly minimal types, J. of Symbolic Logic, Vol.50,No.4 (Dec., 1985).Google Scholar
  3. [B2]
    _____, Locally modular theories of finite rank, Annals of Pure and Applied Logic 30 (1986) 83–94.MathSciNetCrossRefzbMATHGoogle Scholar
  4. [B3]
    _____, On non-trivial types of U-rank 1, J. of Symbolic Logic (to appear).Google Scholar
  5. [B4]
    _____, Isolated types in a weakly minimal set, preprint,1986.Google Scholar
  6. [SHM]
    S. Shelah, L. Harrington, M. Makkai, A proof of Vaught's conjecture for ω-stable theoreis, Israel J. of Math., Vol.49, Nos. 1–3 (1984) 259–280.MathSciNetCrossRefzbMATHGoogle Scholar
  7. [La]
    D. Lascar, Définissabilite de types en théories de modèles, These de Doctorat D'Etat, Paris VII, 1975.Google Scholar
  8. [M]
    M. Makkai, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, Israel J. of Math., Vol.49, Nos.1–3 (1984) 181–238.MathSciNetCrossRefzbMATHGoogle Scholar
  9. [P]
    A. Pillay, An introduction to stability theory, Oxford Univ. Press (1983).Google Scholar
  10. [PS]
    A. Pillay, C. Steinhorn, A note on non-multidimensional superstable theories, J. of Symbolic Logic (to appear).Google Scholar
  11. [S]
    J. Saffe, On Vaught's conjecture for superstable theories, preprint (1982).Google Scholar
  12. [Sa]
    G. Sacks, Saturated model theory, W.A. Benjamin (1972).Google Scholar
  13. [Sh]
    S. Shelah, Classification theory and the number of non-isomorphic models, North-Holland (1978).Google Scholar
  14. [St]
    C. Steinhorn, On logics that express "there exist many indiscernibles", Doctoral dissertation, Univ. of Wisconsin-Madison (1980).Google Scholar

Copyright information

© Springer-Verlag 1987

Authors and Affiliations

  • Steven Buechler
    • 1
  1. 1.Department of MathematicsUniversity of CaliforniaBerkeley

Personalised recommendations