A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q4105667
@@ Property / cites work: Q4105667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3775604
@@ Property / cites work: Q3775604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / 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 @@
+Finitely Decidable Congruence Modular Varieties
@@ Property / cites work: Finitely Decidable Congruence Modular Varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Finite equational bases for congruence modular varieties
+Normal rank
@@ Property / cites work @@
+Nilpotent and solvable radicals in locally finite congruence modular varieties
+Normal rank
@@ Property / cites work @@
+The structure of decidable locally finite varieties
+Normal rank
@@ Property / cites work @@
+On direct products of theories
@@ Property / cites work: On direct products of theories / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Elementary properties of Abelian groups
@@ Property / cites work: Elementary properties of Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Discriminating varieties
@@ Property / cites work: Discriminating varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152589
@@ Property / cites work: Q4152589 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable Discriminator Varieties from Unary Classes
+Normal rank
@@ Property / cites work @@
+Hereditary undecidability of some theories of finite structures
+Normal rank