Connections between quasi-projective relation algebras and cylindric algebras

DOI10.1007/s00012-007-1999-zzbMath1135.03029OpenAlexW1968351543MaRDI QIDQ997116

András Simon

Publication date: 20 July 2007

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

Full work available at URL: https://doi.org/10.1007/s00012-007-1999-z

zbMATH Keywords

cylindric algebraquasi-projective relation algebra

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Omitting types for finite variable fragments and complete representations of algebras ⋮ Some results about neat reducts ⋮ Weakly associative relation algebras with projections ⋮ Weakly higher order cylindric algebras and finite axiomatization of the representables