The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327): Difference between revisions

@@ Property / cites work @@
+On the structure of the lattice of equational classes \({\mathcal L}(\tau)\)
+Normal rank
@@ Property / cites work @@
+Decidable varieties with modular congruence lattices
+Normal rank
@@ Property / cites work @@
+Lattice-theoretic decision problems in universal algebra
+Normal rank
@@ Property / cites work @@
+Q5596785
@@ Property / cites work: Q5596785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586303
@@ Property / cites work: Q5586303 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Modular Lattices
@@ Property / cites work: Free Modular Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On the word problem for the modular lattice with four free generators
+Normal rank
@@ Property / cites work @@
+The Lattice of Equational Classes of Algebras with One Unary Operation
+Normal rank
@@ Property / cites work @@
+Primitive classes of algebras with unary and nullary operations
+Normal rank
@@ Property / cites work @@
+Intervals in the lattice of varieties
@@ Property / cites work: Intervals in the lattice of varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932855
@@ Property / cites work: Q3932855 / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of equational theories. Part II: The lattice of full sets of terms
+Normal rank
@@ Property / cites work @@
+Q3964639
@@ Property / cites work: Q3964639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743360
@@ Property / cites work: Q3743360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599830
@@ Property / cites work: Q5599830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5783653
@@ Property / cites work: Q5783653 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for equational bases of algebras
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5648354
@@ Property / cites work: Q5648354 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvable problems for equational theories
@@ Property / cites work: Unsolvable problems for equational theories / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586299
@@ Property / cites work: Q5586299 / rank @@
+Normal rank
@@ Property / cites work @@
+Identities in Finite Partition Lattices
@@ Property / cites work: Identities in Finite Partition Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635418
@@ Property / cites work: Q5635418 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Free lattices
@@ Property / cites work: Free lattices / rank @@
+Normal rank