On Σ₁-structural differences among finite levels of the Ershov hierarchy
Yang, Yue ; Yu, Liang
J. Symbolic Logic, Tome 71 (2006) no. 1, p. 1223-1236 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We show that the structure ℛ of recursively enumerable degrees is not a Σ₁-elementary substructure of 𝒟n, where 𝒟n (n>1) is the structure of n-r.e. degrees in the Ershov hierarchy.
Publié le : 2006-12-14
Classification:  03D25 
@article{1164060453,
     author = {Yang, Yue and Yu, Liang},
     title = {On S1-structural differences among finite levels of the Ershov hierarchy},
     journal = {J. Symbolic Logic},
     volume = {71},
     number = {1},
     year = {2006},
     pages = { 1223-1236},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1164060453}
}

Yang, Yue; Yu, Liang. On Σ₁-structural differences among finite levels of the Ershov hierarchy. J. Symbolic Logic, Tome 71 (2006) no. 1, pp.  1223-1236. http://gdmltest.u-ga.fr/item/1164060453/