The connection of skew Boolean algebras and discriminator varieties to Church algebras

DOI10.1007/s00012-015-0320-9zbMath1332.03011MaRDI QIDQ2351516

Antonino Salibra, Karin Cvetko-Vah

Publication date: 23 June 2015

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

Full work available at URL: https://doi.org/10.1007/s00012-015-0320-9

zbMATH Keywords

discriminator variety; Church algebra; skew Boolean algebra; factor congruence; decomposition operation

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

08B26: Subdirect products and subdirect irreducibility

06E75: Generalizations of Boolean algebras

Related Items

Unnamed Item, Boolean product representations of algebras via binary polynomials, My journey into noncommutative lattices and their theory, On noncommutative generalisations of Boolean algebras, Dual binary discriminator varieties, Factor varieties, Free skew Boolean intersection algebras and set partitions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean-like algebras
• A refinement of Stone duality to skew Boolean algebras
• Skew lattices in rings
• Skew Boolean algebras and discriminator varieties
• Recent developments in the theory of skew lattices
• Varieties in which the Pierce stalks are directly indecomposable
• Skew lattices and binary operations on functions
• Skew Boolean algebras
• Rings Whose Idempotents Form a Multiplicative Set
• Internal Decompositions of Skew Lattices
• From λ-Calculus to Universal Algebra and Back
• Stone Duality for Skew Boolean Algebras with Intersections