On the Strong Martin Conjecture
Itai, Masanori
J. Symbolic Logic, Tome 56 (1991) no. 1, p. 862-875 / Harvested from Project Euclid
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(T)$, 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 cases. In the last case we show the existence of continuum many $L_2$-types.
Publié le : 1991-09-15
Classification: 
@article{1183743734,
     author = {Itai, Masanori},
     title = {On the Strong Martin Conjecture},
     journal = {J. Symbolic Logic},
     volume = {56},
     number = {1},
     year = {1991},
     pages = { 862-875},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743734}
}
Itai, Masanori. On the Strong Martin Conjecture. J. Symbolic Logic, Tome 56 (1991) no. 1, pp.  862-875. http://gdmltest.u-ga.fr/item/1183743734/