TY  - RPRT
TI  - Model theory of term algebras revisited
AU  - Davide Carolillo
AU  - Yifan Jia
AU  - Bakh Khoussainov
AU  - Rizos Sklinos
PY  - 2026
UR  - https://arxiv.org/abs/2602.01819
ID  - 2602.01819
ER  -