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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references