Graphs realised by r.e. equivalence relations (Q2349100): Difference between revisions

@@ Property / cites work @@
+Initial segments of recursive linear orders
@@ Property / cites work: Initial segments of recursive linear orders / rank @@
+Normal rank
@@ Property / cites work @@
+UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+Rekursive Algebren mit Kettenbedingungen
@@ Property / cites work: Rekursive Algebren mit Kettenbedingungen / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifying the amount of verboseness
@@ Property / cites work: Quantifying the amount of verboseness / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation provable equivalence and on partitions in effectively inseparable sets
+Normal rank
@@ Property / cites work @@
+Classifying positive equivalence relations
@@ Property / cites work: Classifying positive equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Strong isomorphism reductions in complexity theory
+Normal rank
@@ Property / cites work @@
+Infinite time decidable equivalence relation theory
+Normal rank
@@ Property / cites work @@
+The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility
+Normal rank
@@ Property / cites work @@
+Positive equivalences
@@ Property / cites work: Positive equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934289
@@ Property / cites work: Q4934289 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Relations on Classes of Computable Structures
+Normal rank
@@ Property / cites work @@
+On Σ<sup>1</sup>                         <sub>1</sub>  equivalence relations over the natural numbers
+Normal rank
@@ Property / cites work @@
+The effective theory of Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+Isomorphism relations on computable structures
@@ Property / cites work: Isomorphism relations on computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Computably enumerable equivalence relations
@@ Property / cites work: Computably enumerable equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibilities among equivalence relations induced by recursively enumerable structures
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Semirecursive Sets and Positive Reducibility
@@ Property / cites work: Semirecursive Sets and Positive Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789548
@@ Property / cites work: Q3789548 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
+Normal rank
@@ Property / cites work @@
+Recursion theoretic properties of frequency computation and bounded queries
+Normal rank
@@ Property / cites work @@
+A Note on Positive Equivalence Relations
@@ Property / cites work: A Note on Positive Equivalence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Relatively precomplete numerations and arithmetic
@@ Property / cites work: Relatively precomplete numerations and arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank