Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties (Q1248637): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The number of subdirectly irreducible algebras in a variety
+Normal rank
@@ Property / cites work @@
+Finite equational bases for finite algebras in a congruence-distributive equational class
+Normal rank
@@ Property / cites work @@
+Varieties generated by para primal algebras
@@ Property / cites work: Varieties generated by para primal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Identities satisfied by a finite ring
@@ Property / cites work: Identities satisfied by a finite ring / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Bases for Lattice Theories.
@@ Property / cites work: Equational Bases for Lattice Theories. / rank @@
+Normal rank
@@ Property / cites work @@
+A finite algebra A with SP(A) not elementary
@@ Property / cites work: A finite algebra A with SP(A) not elementary / rank @@
+Normal rank
@@ Property / cites work @@
+Identical relations in finite groups
@@ Property / cites work: Identical relations in finite groups / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for equational theories of semi-groups
@@ Property / cites work: Bases for equational theories of semi-groups / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in arithmetical algebras
@@ Property / cites work: Completeness in arithmetical algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Equational classes generated by finite algebras
@@ Property / cites work: Equational classes generated by finite algebras / rank @@
+Normal rank