Undecidable theories of Lyndon algebras (Q2732275)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Undecidable theories of Lyndon algebras |
scientific article; zbMATH DE number 1623518
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidable theories of Lyndon algebras |
scientific article; zbMATH DE number 1623518 |
Statements
Undecidable theories of Lyndon algebras (English)
0 references
12 March 2002
0 references
Lyndon algebras
0 references
projectivc geometry
0 references
undecidable equational theory
0 references
diagonal-free cylindric algebras
0 references
0.8916702
0 references
0.8909113
0 references
0.89004517
0 references
0.8898876
0 references
0.88806635
0 references
0.8873155
0 references
0.8829379
0 references
0.8819909
0 references
0.88043624
0 references
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.
0 references
