The Index Set $\{e: W_e \equiv_1 X\}$
Herrmann, E.
J. Symbolic Logic, Tome 51 (1986) no. 1, p. 110-116 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Let $X$ be any infinite, coinfinite r.e. set. We show that the index set $\{e: W_e \equiv_1 X\}$ is $\Sigma^0_3$-complete, answering a question posed by Odifreddi in [2].
Publié le : 1986-03-14
Classification:  
@article{1183742031,
     author = {Herrmann, E.},
     title = {The Index Set $\{e: W\_e \equiv\_1 X\}$},
     journal = {J. Symbolic Logic},
     volume = {51},
     number = {1},
     year = {1986},
     pages = { 110-116},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742031}
}

Herrmann, E. The Index Set $\{e: W_e \equiv_1 X\}$. J. Symbolic Logic, Tome 51 (1986) no. 1, pp.  110-116. http://gdmltest.u-ga.fr/item/1183742031/