Published online by Cambridge University Press: 20 November 2018
Let denote an arbitrary Boolean algebra. Let Latin letters a, b, … denote general elements of
while the symbols 0, 1 denote the special smallest and largest elements. Let Greek letters α, β, … denote various prime dual ideals of elements of
. It is recalled that a prime dual ideal of
is a proper subset of
closed under finite intersections of its elements and maximal with respect to those properties. Every prime dual ideal includes the element 1 and for each element a of
includes either a or ā (complement of ain
) but not both. Occasional reference will be made to principal dual ideals of
. These are subsets of
composed of all elements of
majorizing some fixed non-zero element of
. Finally, let X(
) denote the collection of all prime dual ideals of
.