Elementary generation and canonicity for varieties of Boolean algebras with operators
Publication:1906001
DOI10.1007/BF01181878zbMath0854.06020OpenAlexW1968888224MaRDI QIDQ1906001
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
dualityrepresentable cylindric algebraselementary classcanonical structureBoolean algebra with operatorscanonical varietyperfect extensioncanonical embedding algebracomplex algebra of a relational structurecylindric-relativized set algebrasmodel-theoretic closure operators
Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items (14)
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Elementary generation and canonicity for varieties of Boolean algebras with operators