Article
Π10 classes and strong degree spectra of relations
The Journal of Symbolic Logic
(2007)
John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, et al.
We study the weak truth-table and truth-table degrees of the images of subsets of computable structures under isomorphisms between computable ...