UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS

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

zbMATH Keywords

Lie algebraelementary theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Identities, free Lie (super)algebras (17B01) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Diophantine problems in solvable groups

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