Quasiidentities of two-element algebras

DOI10.1007/BF01978661zbMath0535.08006OpenAlexW2090425953MaRDI QIDQ790865

V. A. Gorbunov

Publication date: 1983

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187210

zbMATH Keywords

finitely based quasivariety

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15)

Related Items

A perspective on algebraic representations of lattices ⋮ A property of the lattice of equational theories ⋮ Existence of finite bases for quasi-equations of unary algebras with 0 ⋮ Minimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identities ⋮ Quasiidentities of finite unary algebras ⋮ Universal algebras ⋮ Quasi-equational bases for graphs of semigroups, monoids and groups.

Cites Work

• Minimal, locally-finite varieties that are not finitely axiomatizable
• Varieties generated by para primal algebras
• A proof of Lyndon's finite basis theorem
• The number of subdirectly irreducible algebras in a variety
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Covers in lattices of quasivarieties and independent axiomatizability
• Algebras Whose Congruence Lattices are Distributive.
• Identities in Two-Valued Calculi