Undecidable theories of Lyndon algebras
From MaRDI portal
Publication:2732275
DOI10.2307/2694918zbMath0980.03065MaRDI QIDQ2732275
Publication date: 12 March 2002
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2694918
diagonal-free cylindric algebras; undecidable equational theory; Lyndon algebras; projectivc geometry
03B25: Decidability of theories and sets of sentences
51A05: General theory of linear incidence geometry and projective geometries
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
Cites Work
- Unnamed Item
- Relation algebras and projective geometries
- Varieties of relation algebras
- Cylindric algebras. Part II
- Algebraization of quantifier logics, an introductory overview
- Multi-dimensional modal logic
- On representable relation algebras
- Universal classes of simple relation algebras
- Decision problems for equational theories of relation algebras
- Points, lines and diamonds: a two-sorted modal logic for projective planes
- Boolean Algebras with Operators