Graphs realised by r.e. equivalence relations
Publication:2349100
DOI10.1016/j.apal.2014.04.001zbMath1351.03028OpenAlexW2005704285MaRDI QIDQ2349100
Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Aleksandr Nikolaevich Gavryushkin
Publication date: 17 June 2015
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2014.04.001
\(m\)-reducibility\(C\)-reducibilityrecursively enumerable equivalence relationrecursively enumerable structure
Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Recursive equivalence types of sets and structures, isols (03D50) Theory of numerations, effectively presented structures (03D45)
Related Items (max. 100)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Infinite time decidable equivalence relation theory
- The effective theory of Borel equivalence relations
- Reducibilities among equivalence relations induced by recursively enumerable structures
- On the relation provable equivalence and on partitions in effectively inseparable sets
- Relatively precomplete numerations and arithmetic
- Classical recursion theory. The theory of functions and sets of natural numbers
- Initial segments of recursive linear orders
- Positive equivalences
- Quantifying the amount of verboseness
- Recursion theoretic properties of frequency computation and bounded queries
- UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
- A Note on Positive Equivalence Relations
- Strong isomorphism reductions in complexity theory
- On Σ1 1 equivalence relations over the natural numbers
- Classifying positive equivalence relations
- Equivalence Relations on Classes of Computable Structures
- Rekursive Algebren mit Kettenbedingungen
- The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility
- COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
- Isomorphism relations on computable structures
- Semirecursive Sets and Positive Reducibility
- Recursively enumerable sets of positive integers and their decision problems
- Computably enumerable equivalence relations
This page was built for publication: Graphs realised by r.e. equivalence relations