Varieties of Birkhoff systems. I

DOI10.1007/S11083-016-9388-XMaRDI QIDQ523145zbMATH OpenOpenAlexFDO

Authors John Harding, Anna Romanowska

Publication date 20 April 2017

Published in Order (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11083-016-9388-x

zbMATH Keywords

Birkhoff systemprojectivequasilatticesplittingvariety

Mathematics Subject Classification ID

Semilattices (06A12) Varieties of lattices (06B20) Lattices of varieties (08B15)

Review text

A Birkhoff system is an algebra with two binary operations \(+\) and \(\cdot\) which are commutative, associative, idempotent and satisfy the identity \(x\cdot(x+y)=x+(x\cdot y)\). Examples of Birkhoff systems are lattices, quasilattices and the regularization of the variety of lattices. The authors study the lattice of subvarieties of Birkhoff systems. In particular, they investigate splitting varieties, varieties which form a bottom of the lattice of varieties of Birkhoff systems, quasilattices, distributive bisemilattices, varieties generated by bichains, splitting pairs and varieties generated by three element bichains.

Recommendations

• Varieties of Birkhoff systems. II
• On the quasivariety of BCK-algebras and its subvarieties
• Projective bichains
• Examples to Birkhoff's quasigroup axioms.
• Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I

Cites work

• Bisemilattices of subsemilattices
• DISSEMILATTICES WITH MULTIPLICATIVE REDUCTS CHAINS
• Equational Bases and Nonmodular Lattice Varieties
• scientific article; zbMATH DE number 3829983 (Why is no real title available?)
• scientific article; zbMATH DE number 3829984 (Why is no real title available?)
• scientific article; zbMATH DE number 3815723 (Why is no real title available?)
• scientific article; zbMATH DE number 3652395 (Why is no real title available?)
• scientific article; zbMATH DE number 3700916 (Why is no real title available?)
• scientific article; zbMATH DE number 3700917 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3756555 (Why is no real title available?)
• scientific article; zbMATH DE number 3758399 (Why is no real title available?)
• scientific article; zbMATH DE number 32090 (Why is no real title available?)
• scientific article; zbMATH DE number 139652 (Why is no real title available?)
• scientific article; zbMATH DE number 1852853 (Why is no real title available?)
• scientific article; zbMATH DE number 845946 (Why is no real title available?)
• scientific article; zbMATH DE number 5268066 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• Locally finite varieties.
• On a method of construction of abstract algebras
• On bisemilattices with one distributive law
• On distributive quad-lattices
• On equational classes of abstract algebras defined by regular equations
• ON SOME CONSTRUCTIONS OF BISEMILATTICES
• Projective bichains
• Regular Identities in Lattices
• The variety generated by the truth value algebra of type-2 fuzzy sets
• Varieties of Birkhoff systems. II
• Varieties of lattices

Cited in

(6)

• Semilattice sums of algebras and Mal'tsev products of varieties
• Logics of left variable inclusion and Płonka sums of matrices
• The Płonka product of topological spaces
• A duality for involutive bisemilattices
• Projective bichains
• Varieties of Birkhoff systems. II

Describes a project that uses

Uses Software

• Mace4
• Prover9

This page was built for publication: Varieties of Birkhoff systems. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q523145)