On elementary properties of free Lie algebras
type: Item
instance of: scholarly article
title: On elementary properties of free Lie algebras
zbMATH Open document ID: 0613.03010
DOI: 10.1016/0168-0072(86)90002-3
author: Andreas Baudisch
published in: Annals of Pure and Applied Logic
publication date: 1986-01-01T00:00:00Z
review text: Let M be a free Lie algebra, on at least two generators, over a commutative integral domain R. The author shows that the elementary theory Th(M) (in the language of Lie algebras) is unstable and has the strict order property. This latter result is achieved by showing how one can interpret initial segments of Presburger Arithmetic in M.
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 17B05
Mathematics Subject Classification ID: 03C45
zbMATH DE Number: 3991480
zbMATH Keywords: free Lie algebra
zbMATH Keywords: elementary theory
zbMATH Keywords: strict order property
reviewed by: Michael F. Singer
MaRDI profile type: Publication
full work available at URL: 0168-0072(86)90002-3
OpenAlex ID: W1972604057
cites work: Q4179151
cites work: Decidability and stability of free nilpotent lie algebras and free nilpotent p-groups of finite exponent
cites work: The Theory of Ordered Abelian Groups does not have the Independence Property
cites work: Q5586301
cites work: Q4135772
cites work: Q5821489
cites work: Die Unterringe der freien Lieschen Ringe
description: scientific article; zbMATH DE number 3991480