Showing math.LOShow all
2 papers · 1 filter
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…
math.LO2024
Fields interpretable in the free group
Rizos Sklinos
We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theo…