Elementary generation and canonicity for varieties of Boolean algebras with operators

DOI10.1007/BF01181878zbMath0854.06020OpenAlexW1968888224MaRDI QIDQ1906001

Robert Goldblatt

Publication date: 19 January 1997

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01181878

zbMATH Keywords

dualityrepresentable cylindric algebraselementary classcanonical structureBoolean algebra with operatorscanonical varietyperfect extensioncanonical embedding algebracomplex algebra of a relational structurecylindric-relativized set algebrasmodel-theoretic closure operators

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (14)

Atom structures of cylindric algebras and relation algebras ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ Mixed algebras and their logics ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ Axiomatizing hybrid logic using modal logic ⋮ Mathematical modal logic: A view of its evolution ⋮ MacNeille completions and canonical extensions ⋮ Quasi-Modal Equivalence of Canonical Structures ⋮ THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES ⋮ Relativised quantification: Some canonical varieties of sequence-set algebras ⋮ Monadic bounded algebras ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ Canonical extensions and ultraproducts of polarities ⋮ Strongly representable atom structures of cylindric algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Some kinds of modal completeness
• Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
• Algebraization of quantifier logics, an introductory overview
• Some sufficient conditions for the representability of relation algebras
• Every world can see a reflexive world
• Varieties of complex algebras
• Boolean Algebras with Operators. Part I

This page was built for publication: Elementary generation and canonicity for varieties of Boolean algebras with operators