Finitely Decidable Congruence Modular Varieties (Q3142089): Difference between revisions

@@ Property / cites work @@
+A sufficient condition for finite decidability
@@ Property / cites work: A sufficient condition for finite decidability / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and Boolean representations
@@ Property / cites work: Decidability and Boolean representations / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable discriminator varieties from unary varieties
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3775604
@@ Property / cites work: Q3775604 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of finite algebras
@@ Property / cites work: The structure of finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
+Normal rank
@@ Property / cites work @@
+Varieties with decidable finite algebras. II: Permutability
+Normal rank
@@ Property / cites work @@
+A property of the solvable radical in finitely decidable varieties
+Normal rank
@@ Property / cites work @@
+Finitary decidability implies congruence permutability for congruence modular varieties
+Normal rank
@@ Property / cites work @@
+Narrowness implies uniformity
@@ Property / cites work: Narrowness implies uniformity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of decidable locally finite varieties
+Normal rank
@@ Property / cites work @@
+Decidable unary varieties
@@ Property / cites work: Decidable unary varieties / rank @@
+Normal rank
@@ Property / cites work @@
+SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
@@ Property / cites work: SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+A prevariety of semigroups whose elementary theory is solvable
+Normal rank
@@ Property / cites work @@
+Q4128808
@@ Property / cites work: Q4128808 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-Abelian variety of groups has an undecidable elementary theory
+Normal rank