The structure of computably enumerable preorder relations
From MaRDI portal
Publication:2213931
DOI10.1007/s10469-020-09592-xzbMath1462.03018OpenAlexW3097762558MaRDI QIDQ2213931
B. S. Kalmurzayev, S. A. Badaev, Nikolay Bazhenov
Publication date: 4 December 2020
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-020-09592-x
computable reducibilitycomputably enumerable preorderstructure induced by degrees of computably enumerable preorder relations with respect to computable reducibility
Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45)
Related Items
Index sets for classes of positive preorders ⋮ On universal positive graphs ⋮ Computable reducibility for computable linear orders of type \(\omega \)
Cites Work
- Unnamed Item
- On the relation provable equivalence and on partitions in effectively inseparable sets
- Classical recursion theory. Vol. II
- Positive equivalences
- On dark computably enumerable equivalence relations
- Jumps of computably enumerable equivalence relations
- The theory of ceers computes true arithmetic
- Initial segments of one-one degrees
- Weakly precomplete computably enumerable equivalence relations
- UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
- A Survey on Universal Computably Enumerable Equivalence Relations
- Classifying positive equivalence relations
- Joins and meets in the structure of ceers
- Computably enumerable equivalence relations