Finite axiomatizability for equational theories of computable groupoids (Q3470464): Difference between revisions

@@ Property / cites work @@
+Nonfinitely based three-element idempotent groupoids
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic questions for general algebras
@@ Property / cites work: Basic questions for general algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvable problems for equational theories
@@ Property / cites work: Unsolvable problems for equational theories / rank @@
+Normal rank
@@ Property / cites work @@
+A new product of algebras and a type reduction theorem
+Normal rank