Varieties with decidable finite algebras. I: Linearity (Q1124620): Difference between revisions

@@ Property / cites work @@
+Decidability and Boolean representations
@@ Property / cites work: Decidability and Boolean representations / rank @@
+Normal rank
@@ Property / cites work @@
+Finite inseparability of some theories of cylindrification                         algebras
+Normal rank
@@ Property / cites work @@
+Monadic algebras with finite degree
@@ Property / cites work: Monadic algebras with finite degree / rank @@
+Normal rank
@@ Property / cites work @@
+Complete and model-complete theories of monadic algebras
+Normal rank
@@ Property / cites work @@
+The elementary theory of abelian groups
@@ Property / cites work: The elementary theory of abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596792
@@ Property / cites work: Q5596792 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of Some Topological Theories
@@ Property / cites work: Undecidability of Some Topological Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of Brouwerian semilattices
@@ Property / cites work: Undecidability of Brouwerian semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability problem for finite Heyting algebras
@@ Property / cites work: Decidability problem for finite Heyting 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 @@
+The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+The structure of decidable locally finite varieties
+Normal rank
@@ Property / cites work @@
+Q4124831
@@ Property / cites work: Q4124831 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary properties of Abelian groups
@@ Property / cites work: Elementary properties of Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802110
@@ Property / cites work: Q5802110 / rank @@
+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