35 citations · 87 across the 23 of their papers we have counts for
4 papers · 1 filter
Uniform small cancellation in torsion-free hyperbolic groups
Olga Kharlampovich, Rizos Sklinos
We establish a uniform small cancellation theorem for non-elementary torsion-free hyperbolic groups: given any prescribed small cancellation constant, finitely many fixed words suf…
The theory of nonabelian free groups has no model companion
Olga Kharlampovich, Rizos Sklinos
We prove that the first-order theory of nonabelian free groups does not admit a model companion.
Ampleness in the Farey graph
Zahra Mohammadi Khangheshlaghi, Rizos Sklinos
We show that the first-order theory of the Farey graph is -ample but not -ample. Along the way, we prove that it weakly eliminates imaginaries and observe that forking is tri…
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…