Open Research Index

Model theory of term algebras revisited

Davide Carolillo, Yifan Jia, Bakh Khoussainov, Rizos Sklinos

arXivarxiv/2602.01819Feb 2, 2026math.LOscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.01819
curl -X POST /api/v1/records/arxiv/2602.01819/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.01819/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'