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

@@ label / en / label / en @@
+Finitely Decidable Congruence Modular Varieties
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2154290
@@ Property / full work available at URL: https://doi.org/10.2307/2154290 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4235910469
@@ Property / OpenAlex ID: W4235910469 / rank @@
+Normal rank
@@ Property / title @@
+Finitely Decidable Congruence Modular Varieties (English)
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3142089