Term algebras of elementarily equivalent atom structures

DOI10.1007/S00012-018-0540-XMaRDI QIDQ1991592zbMATH OpenOpenAlexWikidataFDO

Authors Hajnal Andréka, István Németi

Publication date 30 October 2018

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.11038, http://real.mtak.hu/89560/1/1803.11038v1.pdf

zbMATH Keywords

atom structureBoolean algebra with operatorscompletely representable relation algebracomplex algebraKripke structuremodal logicrelation algebra

Mathematics Subject Classification ID

Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Abstract: We exhibit two relation algebra atom structures such that they are elementarily equivalent but their term algebras are not. This answers Problem 14.19 in the book Hirsch, R. and Hodkinson, I., "Relation Algebras by Games", North-Holland, 2002.

Recommendations

• The Structure of Relation Algebras Generated by Relativizations
• Strongly representable atom structures of relation algebras
• Atom structures of cylindric algebras and relation algebras
• scientific article; zbMATH DE number 1215476
• A note on atom structures of relation and cylindric algebras

Cites work

• Advanced topics in relation algebras. Relation algebras. Volume 2
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Cylindric algebras. Part II
• Relation algebras
• Relation algebras by games
• Some Varieties Containing Relation Algebras
• Splitting in Relation Algebras
• Varieties of two-dimensional cylindric algebras

Cited in

(2)

• scientific article; zbMATH DE number 6477440 (Why is no real title available?)
• scientific article; zbMATH DE number 6729964 (Why is no real title available?)

This page was built for publication: Term algebras of elementarily equivalent atom structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1991592)