An Old Friend Revisited: Countable Models of ω-Stable Theories
Laskowski, Michael C.
Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, p. 133-141 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We work in the context of ω-stable theories. We obtain a natural, algebraic equivalent of ENI-NDOP and discuss recent joint proofs with Shelah that if an ω-stable theory has either ENI-DOP or is ENI-NDOP and is ENI-deep, then the set of models of T with universe ω is Borel complete.
Publié le : 2007-01-14
Classification:  Borel reducible,  omega-stable,  decomposition tree,  03C45,  04A15 
@article{1172787550,
     author = {Laskowski, Michael C.},
     title = {An Old Friend Revisited: Countable Models of $\omega$-Stable Theories},
     journal = {Notre Dame J. Formal Logic},
     volume = {48},
     number = {1},
     year = {2007},
     pages = { 133-141},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1172787550}
}

Laskowski, Michael C. An Old Friend Revisited: Countable Models of ω-Stable Theories. Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, pp.  133-141. http://gdmltest.u-ga.fr/item/1172787550/