Description: Definitions for Note 267 and [0 Y].
Content:
Definitions for Note 267 and [0 Y].
Definition: A free complete Boolean algebra over a set \(D\) is a complete Boolean algebra \(B\) together with a mapping \(f: D\rightarrow B\) such that range(\(f\)) generates \(B\) as a complete Boolean algebra and for every complete Boolean algebra \(C\) and function \(g: D\rightarrow C\), there is a complete homomorphism \(h: B\rightarrow C\) such that \(g = h\circ f\).
Howard-Rubin number: 89
Type: Definitions
Back