Classifying word problems of finitely generated algebras via computable reducibility (Q6116397): Difference between revisions

@@ Property / cites work @@
+A Survey on Universal Computably Enumerable Equivalence Relations
+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 @@
+INITIAL SEGMENTS OF THE DEGREES OF CEERS
@@ Property / cites work: INITIAL SEGMENTS OF THE DEGREES OF CEERS / rank @@
+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 @@
+The word problem
@@ Property / cites work: The word problem / rank @@
+Normal rank
@@ Property / cites work @@
+Word problems and ceers
@@ Property / cites work: Word problems and ceers / rank @@
+Normal rank
@@ Property / cites work @@
+The category of equivalence relations
@@ Property / cites work: The category of equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS
+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 @@
+Effective aspects of algorithmically random structures
+Normal rank
@@ Property / cites work @@
+Finitely presented expansions of computably enumerable semigroups
+Normal rank
@@ Property / cites work @@
+The degrees of hyperhyperimmune sets
@@ Property / cites work: The degrees of hyperhyperimmune sets / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809790
@@ Property / cites work: Q3809790 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789548
@@ Property / cites work: Q3789548 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of linear orders over negative equivalences
+Normal rank
@@ Property / cites work @@
+A quest for algorithmically random infinite structures
+Normal rank
@@ Property / cites work @@
+A journey to computably enumerable structures (tutorial lectures)
+Normal rank
@@ Property / cites work @@
+Finitely presented expansions of groups, semigroups, and algebras
+Normal rank
@@ Property / cites work @@
+\(\Pi^0_1\)-presentations of algebras
@@ Property / cites work: \(\Pi^0_1\)-presentations of algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Algorithmically finite groups.
@@ Property / cites work: Algorithmically finite groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on subshifts
@@ Property / cites work: Two notes on subshifts / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Configuration and Word Problems of Given Degree of Unsolvability
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596776
@@ Property / cites work: Q5596776 / rank @@
+Normal rank