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

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 03:01, 5 March 2024

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