Abstract
We establish a condition that is necessary for Rogers semilattices of computable numberings of finite families of computably enumerable sets to be isomorphic.
Similar content being viewed by others
REFERENCES
Yu. L. Ershov, Numbering Theory [in Russian], Nauka, Moscow (1977).
S. D. Denisov, “The structure of an upper semilattice of recursively enumerable m-degrees and related problems. 1,” Algebra Logika, 17, No. 6, 643–683 (1978).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ershov, Y.L. Necessary Isomorphism Conditions for Rogers Semilattices of Finite Partially Ordered Sets. Algebra and Logic 42, 232–236 (2003). https://doi.org/10.1023/A:1025005309632
Issue Date:
DOI: https://doi.org/10.1023/A:1025005309632