Undecidable theories of Lyndon algebras

DOI10.2307/2694918zbMath0980.03065OpenAlexW2007040251MaRDI QIDQ2732275

Vera Stebletsova, Yde Venema

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

zbMATH Keywords

diagonal-free cylindric algebrasundecidable equational theoryLyndon algebrasprojectivc geometry

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General theory of linear incidence geometry and projective geometries (51A05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Inequivalent representations of geometric relation algebras

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

This page was built for publication: Undecidable theories of Lyndon algebras