REAL

Term algebras of elementarily equivalent atom structures

Andréka, Hajnal and Németi, István (2018) Term algebras of elementarily equivalent atom structures. Algebra Universalis, 79 (3). ISSN 0002-5240

[img]
Preview
Text
1803.11038v1.pdf

Download (115kB) | Preview

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 Hirsch and Hodkinson’s text Relation Algebras by Games. © 2018, Springer Nature Switzerland AG.

Item Type: Article
Uncontrolled Keywords: Boolean algebra with operators; Relation algebra; modal logic; Atom structure; Completely representable relation algebra; Complex algebra; Kripke structure;
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA72 Algebra / algebra
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 09 Jan 2019 15:20
Last Modified: 09 Jan 2019 15:20
URI: http://real.mtak.hu/id/eprint/89560

Actions (login required)

Edit Item Edit Item