3 papers
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.GR2025
First-order sentences in random groups III
Olga Kharlampovich, Alexei Miasnikov, Rizos Sklinos
We show that a first-order sentence is almost surely true in a random group of density d<1/2 if and only if it is true in a non-abelian free group.
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…