Undecidable theories of Lyndon algebras

DOI10.2307/2694918MaRDI QIDQ2732275zbMATH OpenOpenAlexFDO

Authors Vera Stebletsova, Yde Venema

Publication date 12 March 2002

Published in The 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 algebrasLyndon algebrasprojectivc geometryundecidable equational theory

Mathematics Subject Classification ID

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

Review text

It is known that Lyndon algebras form an interesting connection between projective geometry and algebraic logic. In this paper, the authors prove that if \(\mathcal G\) is a class of projective geometries which contains an infinite projective geometry of dimension at least three, then the class \(L({\mathcal G})\) of Lyndon algebras associated with projective geometries in \(\mathcal G\) has an undecidable equational theory. In their proof the authors use a connection between projective geometries and diagonal-free cylindric algebras.

Recommendations

• scientific article; zbMATH DE number 3902615
• Undecidability of the first order theories of free noncommutative Lie algebras
• The Lindenbaum fixed point algebra is undecidable
• Undecidability in diagonalizable algebras
• Undecidable relativizations of algebras of relations
• Undecidability of relatively free Hilbert algebras
• Undecidability of equations in free Lie algebras
• Undecidability of theories of Boolean algebras with selected ideals
• Undecidable semiassociative relation algebras
• Undecidability of Algebras of Binary Relations

Cites work

• Algebraization of quantifier logics, an introductory overview
• Boolean Algebras with Operators
• Cylindric algebras. Part II
• Decision problems for equational theories of relation algebras
• scientific article; zbMATH DE number 3723412 (Why is no real title available?)
• Multi-dimensional modal logic
• On representable relation algebras
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Relation algebras and projective geometries
• Universal classes of simple relation algebras
• Varieties of relation algebras

Cited in

(6)

• Undecidability of relatively free Hilbert algebras
• Undecidable theories of valuated abelian groups
• scientific article; zbMATH DE number 3902615 (Why is no real title available?)
• scientific article; zbMATH DE number 465525 (Why is no real title available?)
• Inequivalent representations of geometric relation algebras
• The equational complexity of Lyndon's algebra

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2732275)