Term algebras of elementarily equivalent atom structures

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 .

Saved in:
Bibliographic Details
Published in:Algebra universalis 2018-09, Vol.79 (3), p.1-9, Article 61
Main Authors: Andréka, Hajnal, Németi, István
Format: Article
Language:English
Subjects:
Algebra
Equivalence
In memory of Bjarni Jónsson
Mathematics
Mathematics and Statistics
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 .
ISSN:0002-5240
1420-8911
DOI:10.1007/s00012-018-0540-x