A decomposition of the Rogers semilattice of a family of d.c.e. sets
From MaRDI portal
Publication:3630582
DOI10.2178/jsl/1243948330zbMath1185.03071MaRDI QIDQ3630582
Publication date: 4 June 2009
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.496.1965
03D25: Recursively (computably) enumerable sets and degrees
03D45: Theory of numerations, effectively presented structures
Related Items
Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings, The branching theorem and computable categoricity in the Ershov hierarchy, Friedberg numberings of families of partial computable functionals, Theories of Rogers semilattices of analytical numberings, On universal pairs in the Ershov hierarchy, Rogers semilattices for families of equivalence relations in the Ershov hierarchy, Reductions between types of numberings, Families without minimal numberings
Cites Work