A point-free approach to canonical extensions of boolean algebras and bounded archimedean $\ell$-algebras

G. Bezhanishvili, L. Carai, P. Morandi

In \cite{BH20} an elegant choice-free construction of a canonical extension of a boolean algebra $B$ was given as the boolean algebra of regular open subsets of the Alexandroff top…