Pages that link to "Item:Q4692087"
From MaRDI portal
The following pages link to UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS (Q4692087):
Displaying 7 items.
- On elementary properties of free Lie algebras (Q1088652) (← links)
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- Undecidability of first order sentences in the theory of free groupoids (Q3240235) (← links)
- Undecidability of equations in free Lie algebras (Q4645108) (← links)
- Undecidable First-Order Theories of Affine Geometries (Q4649566) (← links)
- Diophantine problems in solvable groups (Q4997864) (← links)