A Survey on Universal Computably Enumerable Equivalence Relations (Q2970971): Difference between revisions

@@ Property / cites work @@
+UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+THE COMPLEXITY OF INDEX SETS OF CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+On weakly pre-complete positive equivalences
@@ Property / cites work: On weakly pre-complete positive equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly precomplete computably enumerable equivalence relations
+Normal rank
@@ Property / cites work @@
+On the relation provable equivalence and on partitions in effectively inseparable sets
+Normal rank
@@ Property / cites work @@
+Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
+Normal rank
@@ Property / cites work @@
+Classifying positive equivalence relations
@@ Property / cites work: Classifying positive equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Creative Functions
@@ Property / cites work: Creative Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851819
@@ Property / cites work: Q2851819 / rank @@
+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 @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+Equivalence Relations That Are $\Sigma^0_3$ Complete for Computable Reducibility
+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 @@
+Graphs realised by r.e. equivalence relations
@@ Property / cites work: Graphs realised by r.e. equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibilities among equivalence relations induced by recursively enumerable structures
+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 @@
+On Group-Theoretic Decision Problems and Their Classification. (AM-68)
+Normal rank
@@ Property / cites work @@
+Relatively precomplete numerations and arithmetic
@@ Property / cites work: Relatively precomplete numerations and arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Uniformly Finitely Precomplete Positive Equivalences
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank