## Author:Guram Bezhanishvili
## KeyphrasesBoolean power, compact Hausdorff space, countable model property, free Boolean extensions and MacNeille completions, join and meet infinite distributive laws, modal logic, nuclei and Booleanization, Specker algebra, topological semantics. |