The following pages link to (Q5371234):
Displaying 6 items.
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- What does a group algebra of a free group ``know'' about the group? (Q1709682) (← links)
- On equations and first-order theory of one-relator monoids (Q2051781) (← links)
- UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS (Q4692087) (← links)
- Diophantine problems in solvable groups (Q4997864) (← links)
- The Diophantine problem in the classical matrix groups (Q5033989) (← links)