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
Rogers semilattices of punctual numberings, Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings, Two theorems on minimal generalized computable numberings, Rogers semilattices of limitwise monotonic numberings, Extremal numberings and fixed point theorems, A family with a single minimal but not least numbering, 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, Rogers semilattices with least and greatest elements in the Ershov hierarchy
Cites Work