Model theory of term algebras revisited

TL;DR

This paper revisits the model theory of absolutely free term algebras, providing new proofs and structural insights, including quantifier elimination, stability properties, and the characterization of their completions.

Contribution

It offers a new, quantifier-elimination-free proof of completeness, analyzes structural properties of standard models, and characterizes the model companion of locally free algebras.

Findings

Standard models are first-order rigid and atomic for 1≤k≤ω.

Theories are stable but not superstable, with trivial forking.

T_0 is the model companion; others are not model complete.

Abstract

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,\omega\}$ of indecomposable elements; for $1\le k\le\omega$ the standard model is the free term algebra on $k$ generators. We give a new, quantifier-elimination--free proof of completeness using Ehrenfeucht--Fra\"iss\'e games, and we establish several further structural properties of the standard models and theories. In particular, for $1\le k\le\omega$ we prove first-order rigidity and atomicity of the standard model. For every $0\le k\le\omega$ we show that the corresponding theory does not have the finite cover property and weakly eliminates imaginaries. We also provide new proofs of stability-theoretic features previously obtained by Belegradek: the theories are stable but not superstable, normal (hence $1$-based), and have trivial forking; consequently, no infinite group is interpretable in any model. Finally, we analyze model completeness and show that $T_0$ is the model companion of the theory of locally free algebras, while the theories with $k\ge 1$ are not model complete.