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. |