Pages that link to "Item:Q2732275"
From MaRDI portal
The following pages link to Undecidable theories of Lyndon algebras (Q2732275):
Displaying 5 items.
- The equational complexity of Lyndon's algebra (Q539978) (← links)
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- Undecidable theories of valuated abelian groups (Q3218311) (← links)
- (Q4271920) (← links)
- Inequivalent representations of geometric relation algebras (Q4457734) (← links)