A prevariety of semigroups whose elementary theory is solvable (Q1846860): Difference between revisions

@@ Property / cites work @@
+Q3848243
@@ Property / cites work: Q3848243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596785
@@ Property / cites work: Q5596785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4046036
@@ Property / cites work: Q4046036 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641189
@@ Property / cites work: Q5641189 / rank @@
+Normal rank
@@ Property / cites work @@
+Negative solution of the decision problem for sentences true in every subalgebra of 〈<i>N</i>, +〉
+Normal rank