Quasiidentities of two-element algebras (Q790865): Difference between revisions

The purpose of this paper is to give a new, shorter proof to an earlier result of the author, namely: Every two-element algebra of a finite similarity type generates a minimal, finitely based quasivariety.

0 references

Mathematics Subject Classification ID

08C15

0 references

0 references

0 references

finitely based quasivariety

0 references

reviewed by

Jaroslav Jezek

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Covers in lattices of quasivarieties and independent axiomatizability

0 references

Finite equational bases for finite algebras in a congruence-distributive equational class

0 references

The number of subdirectly irreducible algebras in a variety

0 references

A proof of Lyndon's finite basis theorem

0 references

Varieties generated by para primal algebras

0 references

Algebras Whose Congruence Lattices are Distributive.

0 references

Identities in Two-Valued Calculi

0 references

Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties

0 references

Minimal, locally-finite varieties that are not finitely axiomatizable

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:790865

@@ Property / cites work @@
+Covers in lattices of quasivarieties and independent axiomatizability
+Normal rank
@@ Property / cites work @@
+Finite equational bases for finite algebras in a congruence-distributive equational class
+Normal rank
@@ Property / cites work @@
+The number of subdirectly irreducible algebras in a variety
+Normal rank
@@ Property / cites work @@
+A proof of Lyndon's finite basis theorem
@@ Property / cites work: A proof of Lyndon's finite basis theorem / rank @@
+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 in Two-Valued Calculi
@@ Property / cites work: Identities in Two-Valued Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
+Normal rank
@@ Property / cites work @@
+Minimal, locally-finite varieties that are not finitely axiomatizable
+Normal rank