Andréka, Hajnal and Németi, István (2018) Term algebras of elementarily equivalent atom structures. Algebra Universalis, 79 (3). ISSN 0002-5240
|
Text
1803.11038v1.pdf Download (115kB) | Preview |
Official URL: https://doi.org/10.1007/s00012-018-0540-x
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 |
