Atom structures and Sahlqvist equations

DOI10.1007/S000120050047zbMath0913.06010OpenAlexW2032543872MaRDI QIDQ1272149

Yde Venema

Publication date: 23 November 1998

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

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

zbMATH Keywords

relation algebraboolean algebra with operatorsSahlqvist equation

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (11)

Reducts of relation algebras: the aspects of axiomatisability and finite representability ⋮ Atom structures of cylindric algebras and relation algebras ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ Omitting Types in Fragments and Extensions of First Order Logic ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Undecidability of representability as binary relations ⋮ Strongly representable atom structures of relation algebras ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Canonical varieties with no canonical axiomatisation ⋮ Strongly representable atom structures of cylindric algebras ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic

This page was built for publication: Atom structures and Sahlqvist equations