collaborators

1 paper

math.LO2026

Model theory of term algebras revisited

Davide Carolillo, Yifan Jia, Bakh Khoussainov +1

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. Ma…