Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy
Sign Up to like & getrecommendations! Published in 2019 at "Siberian Mathematical Journal"
DOI: 10.1134/s0037446619020046
Abstract: The paper studies Rogers semilattices for families of equivalence relations in the Ershov hierarchy. For an arbitrary notation a of a nonzero computable ordinal, we consider $$\sum\nolimits_a^{- 1} {}$$∑a−1-computable numberings of the family of all… read more here.
Keywords: equivalence relations; rogers semilattices; ershov hierarchy; semilattices families ... See more keywords