Keyword:free Boolean extensions and MacNeille completions

Publications
Funayama's theorem revisited Guram Bezhanishvili, David Gabelaia and Mamuka Jibladze In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic