MacNeille completion and profinite completion can coincide on finitely generated modal algebras (Q1047116)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | MacNeille completion and profinite completion can coincide on finitely generated modal algebras |
scientific article |
Statements
MacNeille completion and profinite completion can coincide on finitely generated modal algebras (English)
0 references
4 January 2010
0 references
The problem of when MacNeille completions, canonical completions and profinite completions coincide for distributive lattices and Heyting algebras using the Priestley and Esakia dualities was investigated in [\textit{G. Bezhanishvili} and \textit{J. Vosmaer}, ``Comparison of MacNeille, canonical, and profinite completions'', Order 25, No.~4, 299--320 (2008; Zbl 1166.06002)]. The paper under review discusses the question of when the MacNeille completions and profinite completions coincide for finitely generated modal algebras. In particular, by piecing together results from various authors, it is shown that if \(\mathbb{A}\) is a residually finite, finitely generated modal algebra such that \(\mathrm{HSP}(\mathbb{A})\) has equationally definable congruences, then the profinite completion of \(\mathbb{A}\) is isomorphic to its MacNeille completion. Specific examples of such algebras are the finitely generated free \textbf{K4}-algebras and finitely generated free \textbf{PDL}-algebras.
0 references
modal algebra
0 references
MacNeille completion
0 references
profinite completion
0 references