On the normal completion of a Boolean al
โ
B. Banaschewski; M.M. Ebrahimi; M. Mahmoudi
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 139 KB
A familiar construction for a Boolean algebra A is its normal completion NA, given by its normal ideals or, equivalently, the intersections of its principal ideals, together with the embedding A โ NA taking each element of A to its principal ideal. In the classical setting of Zermelo-Fraenkel set th