Covering in the lattice of equational theories and some properties of term finite theories (Q1838506): Difference between revisions

@@ Property / cites work @@
+Sur un théorème de M. Sierpiński
@@ Property / cites work: Sur un théorème de M. Sierpiński / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups.
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of semigroup varieties
@@ Property / cites work: The lattice of semigroup varieties / rank @@
+Normal rank
@@ Property / cites work @@
+The Largest Proper Variety of Lattice Ordered Groups
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Q3235343
@@ Property / cites work: Q3235343 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in lattices of equational theoris
@@ Property / cites work: Definability in lattices of equational theoris / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for equational bases of algebras
+Normal rank
@@ Property / cites work @@
+Undecidable properties of finite sets of equations
+Normal rank
@@ Property / cites work @@
+Corrigendum to: ``Structural diversity in the lattice of equational theories''
+Normal rank
@@ Property / cites work @@
+Q3893982
@@ Property / cites work: Q3893982 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of groups
@@ Property / cites work: Varieties of groups / rank @@
+Normal rank
@@ Property / cites work @@
+Universal equational theories and varieties of algebras
+Normal rank
@@ Property / cites work @@
+Q4085960
@@ Property / cites work: Q4085960 / rank @@
+Normal rank
@@ Property / cites work @@
+Base-undecidable properties of universal varieties
+Normal rank
@@ Property / cites work @@
+On the Structure of Equationally Complete Varieties. II
+Normal rank
@@ Property / cites work @@
+Sur les suites infinies de fonctions définies dans les ensembles quelconques
+Normal rank
@@ Property / cites work @@
+Q3853703
@@ Property / cites work: Q3853703 / rank @@
+Normal rank
@@ Property / cites work @@
+Covering elements in the lattice of varieties of algebras
+Normal rank