Switch to: References

Add citations

You must login to add citations.
  1. A remark on Martin's conjecture.Su Gao - 2001 - Journal of Symbolic Logic 66 (1):401-406.
    We prove that the strong Martin conjecture is false. The counterexample is the first-order theory of infinite atomic Boolean algebras. We show that for this class of Boolean algebras, the classification of their (ω + ω)-elementary theories can be reduced to the classification of the elementary theories of their quotient algebras modulo the Frechet ideals.
    Download  
     
    Export citation  
     
    Bookmark  
  • On the Strong Martin Conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
    We study the following conjecture. Conjecture. Let $T$ be an $\omega$-stable theory with continuum many countable models. Then either i) $T$ has continuum many complete extensions in $L_1$, or ii) some complete extension of $T$ in $L_1$ has continuum many $L_1$-types without parameters. By Shelah's proof of Vaught's conjecture for $\omega$-stable theories, we know that there are seven types of $\omega$-stable theory with continuum many countable models. We show that the conjecture is true for all but one of these seven (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Martin's conjecture.C. M. Wagner - 1982 - Annals of Mathematical Logic 22 (1):47.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Vaught's conjecture for o-minimal theories.Laura L. Mayer - 1988 - Journal of Symbolic Logic 53 (1):146-159.
    Download  
     
    Export citation  
     
    Bookmark   5 citations