Positive numerations of families with one-valued numerations
From MaRDI portal
Publication:1062050
DOI10.1007/BF01982111zbMath0572.03023MaRDI QIDQ1062050
Publication date: 1983
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187235
03D20: Recursive functions and relations, subrecursive hierarchies
03D25: Recursively (computably) enumerable sets and degrees
03D45: Theory of numerations, effectively presented structures
Related Items
Some absolute properties of \(A\)-computable numberings, Minimal numerations of positively computable families, On universal pairs in the Ershov hierarchy, A decomposition of the Rogers semilattice of a family of d.c.e. sets
Cites Work