35 citations · 87 across the 23 of their papers we have counts for
28 papers
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…
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.
Profinite rigidity of affine Coxeter groups
Gianluca Paolini, Rizos Sklinos
We prove that the irreducible affine Coxeter groups are first-order rigid and deduce from this that they are profinitely rigid in the absolute sense. We then show that the first-or…