Journal of Symbolic Logic 56 (3):862-875 (1991)
|Abstract||We study the following conjecture. Conjecture. Let T be an ω-stable theory with continuum many countable models. Then either i) T has continuum many complete extensions in L1(T), or ii) some complete extension of T in L1 has continuum many L1-types without parameters. By Shelah's proof of Vaught's conjecture for ω-stable theories, we know that there are seven types of ω-stable theory with continuum many countable models. We show that the conjecture is true for all but one of these seven cases. In the last case we show the existence of continuum many L2-types|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Robert S. Wolf (1985). Determinateness of Certain Almost-Borel Games. Journal of Symbolic Logic 50 (3):569-579.
Ken Herold (2003). An Information Continuum Conjecture. Minds and Machines 13 (4):553-566.
Timothy Cleveland (1997). A Refutation of Pure Conjecture. Journal for General Philosophy of Science 28 (1):55-81.
James Loveys & Predrag Tanović (1996). Countable Models of Trivial Theories Which Admit Finite Coding. Journal of Symbolic Logic 61 (4):1279-1286.
Su Gao (2001). A Remark on Martin's Conjecture. Journal of Symbolic Logic 66 (1):401-406.
Steven Buechler (1988). The Classification of Small Weakly Minimal Sets. II. Journal of Symbolic Logic 53 (2):625-635.
Ehud Hrushovski (1989). Kueker's Conjecture for Stable Theories. Journal of Symbolic Logic 54 (1):207-220.
Vera Puninskaya (2000). Vaught's Conjecture for Modules Over a Serial Ring. Journal of Symbolic Logic 65 (1):155-163.
Added to index2009-01-28
Total downloads2 ( #232,265 of 548,984 )
Recent downloads (6 months)1 ( #63,327 of 548,984 )
How can I increase my downloads?