Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
scientific article

    Statements

    Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (English)
    0 references
    0 references
    0 references
    22 February 1995
    0 references
    Sahlqvist's Theorem for modal logic is generalized to Boolean algebras with operators. A class of identities for Boolean algebra with operators is described, called the Sahlqvist identities. Sahlqvist's Theorem in this general setting states that (1) each Sahlqvist identity has a ``first-order translation'', i.e., a first-order sentence that holds in a relational structure if and only if the identity holds in the complex algebra of that structure, and (2) each Sahlqvist identity holds in a Boolean algebra with operators if and only if it holds in the perfect (or canonical) extension of that algebra. The application to cylindric algebras, mentioned in the title, is a proof that a certain identity, due to Henkin, is equivalent to another identity. The proof proceeds by arguing in the atom structure of the perfect extension of any algebra that satisfies one (or the other) identity.
    0 references
    Sahlqvist's Theorem
    0 references
    Boolean algebras with operators
    0 references
    Sahlqvist identities
    0 references
    cylindric algebras
    0 references

    Identifiers

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