Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01058532 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2033136385 / rank | |||
Normal rank |
Latest revision as of 09:06, 30 July 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
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
0 references