MacNeille completion and profinite completion can coincide on finitely generated modal algebras (Q1047116)

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.