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 .