AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Decision problems for equational theories of relation algebras
About this Title
Hajnal Andréka, Steven Givant and István Németi
Publication: Memoirs of the American Mathematical Society
Publication Year:
1997; Volume 126, Number 604
ISBNs: 978-0-8218-0595-4 (print); 978-1-4704-0189-4 (online)
DOI: https://doi.org/10.1090/memo/0604
MathSciNet review: 1376742
MSC: Primary 03G15; Secondary 03B25, 03D35
Table of Contents
Chapters
- I. Preliminaries
- II. Undecidability
- III. A lattice embedding that preserves decidability and undecidability
- IV. A finitely generated, infinite, simple relation algebra with a decidable equational theory