Comparing Borel Reducibility and Depth of an ω-Stable Theory
Koerwien , Martin
Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, p. 365-380 / Harvested from Project Euclid
In "A proof of Vaught's conjecture for ω-stable theories," the notions of ENI-NDOP and eni-depth have been introduced, which are variants of the notions of NDOP and depth known from Shelah's classification theory. First, we show that for an ω-stable first-order complete theory, ENI-NDOP allows tree decompositions of countable models. Then we discuss the relationship between eni-depth and the complexity of the isomorphism relation for countable models of such a theory in terms of Borel reducibility as introduced by Friedman and Stanley and construct, in particular, a sequence of complete first-order ω-stable theories $(T_\alpha)_{\alpha < \omega_1}$ with increasing and cofinal eni-depth and isomorphism relations which are strictly increasing with respect to Borel reducibility.
Publié le : 2009-10-15
Classification:  omega-stability,  classifications,  countable models,  Borel reducibility,  03C15,  03C45,  03E15
@article{1265899120,
     author = {Koerwien ,  Martin},
     title = {Comparing Borel Reducibility and Depth of an $\omega$-Stable Theory},
     journal = {Notre Dame J. Formal Logic},
     volume = {50},
     number = {1},
     year = {2009},
     pages = { 365-380},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1265899120}
}
Koerwien ,  Martin. Comparing Borel Reducibility and Depth of an ω-Stable Theory. Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, pp.  365-380. http://gdmltest.u-ga.fr/item/1265899120/