Factor principal congruences and Boolean products in filtral varieties

DOI10.1007/s00012-024-00846-8MaRDI QIDQ6193269

Miroslav Haviar, Brian A. Davey

Publication date: 12 March 2024

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

discriminator varietyBoolean productOckham algebraperfect extensionfiltral varietyfactor principal congruences

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) Subalgebras, congruence relations (08A30) Stone spaces (Boolean spaces) and related structures (06E15) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26)

Cites Work

• Connections between congruence-lattices and polynomial properties
• A finite basis theorem for quasivarieties
• Uniform congruence schemes
• Varieties with equationally definable principal congruences
• Remarks on Boolean products
• Congruences and one element subalgebras
• Implicit definition of the quaternary discriminator
• Locally Boolean spectra
• Perfect extensions of de Morgan algebras
• Compact factor congruences imply Boolean factor congruences
• Sheaf Constructions and Their Elementary Properties
• Subsumption of the Theory of Boolean Algebras under the Theory of Rings
• Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Factor principal congruences and Boolean products in filtral varieties