Partitions and congruences in algebras. II. Modular and distributive equalities, complements
The reaping number of a Boolean algebra is defined as the minimum size of a subset such that for each -partition of unity, some member of meets less than elements of . We show that for each , as conjectured by Dow, Steprāns and Watson. The proof relies on a partition theorem for finite trees; namely that every -branching tree whose maximal nodes are coloured with colours contains an -branching subtree using at most colours if and only if .
Perfect compactifications of frames are introduced. It is shown that the Stone-Čech compactification is an example of such a compactification. We also introduce rim-compact frames and for such frames we define its Freudenthal compactification, another example of a perfect compactification. The remainder of a rim-compact frame in its Freudenthal compactification is shown to be zero-dimensional. It is shown that with the assumption of the Boolean Ultrafilter Theorem the Freudenthal compactification...