{"id":"arxiv/2602.01819","url":"https://arxiv.org/abs/2602.01819","tags":["math.LO"],"score":0,"title":"Model theory of term algebras revisited","domain":"math.LO","source":"arxiv","authors":["Davide Carolillo","Yifan Jia","Bakh Khoussainov","Rizos Sklinos"],"reviews":0,"subject":"math.LO","summary":"Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Maltsev's analysis yields a natural axiomatization together with quantifier elimination to positive Boolean combinations of special formulas, and shows that the complete extensions are parametrized exactly by the number $k\\in\\{0,1,\\dots,ω\\}$ of indecomposable elements; for $1\\le k\\leω$ the standard model is the free term algebra on $k$ generators. We give a new, quantifier-elimination--free proof of completeness…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-02","reactions":{}}