Primitive recursive equivalence relations and their primitive recursive complexity (Q5061388): Difference between revisions

@@ Property / author @@
-Nikolay Bazhenov
@@ Property / author: Nikolay Bazhenov / rank @@
-Normal rank
@@ Property / author @@
-Luca San Mauro
@@ Property / author: Luca San Mauro / rank @@
-Normal rank
@@ Property / author @@
+Nikolay Bazhenov
@@ Property / author: Nikolay Bazhenov / rank @@
+Normal rank
@@ Property / author @@
+Luca San Mauro
@@ Property / author: Luca San Mauro / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey on Universal Computably Enumerable Equivalence Relations
+Normal rank
@@ Property / cites work @@
+Nondensity of Double Bubbles in the D.C.E. Degrees
+Normal rank
@@ Property / cites work @@
+UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+The theory of ceers computes true arithmetic
@@ Property / cites work: The theory of ceers computes true arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Joins and meets in the structure of ceers
@@ Property / cites work: Joins and meets in the structure of ceers / rank @@
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF ONLINE STRUCTURE THEORY
@@ Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Online presentations of finitely generated structures
+Normal rank
@@ Property / cites work @@
+Classifying equivalence relations in the Ershov hierarchy
+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 @@
+The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility
+Normal rank
@@ Property / cites work @@
+Q5155667
@@ Property / cites work: Q5155667 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism relations on computable structures
@@ Property / cites work: Isomorphism relations on computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Borel reductibility theory for classes of countable structures
+Normal rank
@@ Property / cites work @@
+Computably enumerable equivalence relations
@@ Property / cites work: Computably enumerable equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+On polynomial-time relation reducibility
@@ Property / cites work: On polynomial-time relation reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+A Glimm-Effros Dichotomy for Borel Equivalence Relations
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel Equivalence Relations
@@ Property / cites work: Borel Equivalence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial and abstract subrecursive classes
@@ Property / cites work: Polynomial and abstract subrecursive classes / rank @@
+Normal rank
@@ Property / cites work @@
+A structure of punctual dimension two
@@ Property / cites work: A structure of punctual dimension two / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating unbounded search in computable algebra
+Normal rank
@@ Property / cites work @@
+On the degree structure of equivalence relations under computable reducibility
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers.
+Normal rank
@@ Property / cites work @@
+Primitive recursive ordered fields and some applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5061388