Stone Algebras

Walter Guttmann 🌐

September 6, 2016

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


A range of algebras between lattices and Boolean algebras generalise the notion of a complement. We develop a hierarchy of these pseudo-complemented algebras that includes Stone algebras. Independently of this theory we study filters based on partial orders. Both theories are combined to prove Chen and Grätzer's construction theorem for Stone algebras. The latter involves extensive reasoning about algebraic structures in addition to reasoning in algebraic structures.


BSD License


Session Stone_Algebras