UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS
From MaRDI portal
Publication:4692087
DOI10.1017/jsl.2017.80zbMath1502.03008arXiv1704.07853MaRDI 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
03C60: Model-theoretic algebra
17B01: Identities, free Lie (super)algebras
03B25: Decidability of theories and sets of sentences
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item