UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS
From MaRDI portal
Publication:4692087
DOI10.1017/jsl.2017.80zbMath1502.03008arXiv1704.07853OpenAlexW2963203081MaRDI QIDQ4692087
O. G. Kharlampovich, Alexei G. Myasnikov
Publication date: 26 October 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1704.07853
Model-theoretic algebra (03C60) Identities, free Lie (super)algebras (17B01) Decidability of theories and sets of sentences (03B25)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Elementary theory of free non-abelian groups.
- On elementary properties of free Lie algebras
- Definable invariants of bilinear mappings
- Diophantine geometry over groups. VI: The elementary theory of a free group.
- Elementary equivalence of profinite groups
- RECURSIVEp-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-p-GROUPS
This page was built for publication: UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS