35 citations · 87 across the 23 of their papers we have counts for
20 papers · 1 filter
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 II: -sentences
Olga Kharlampovich, Rizos Sklinos
We prove that a random group, in Gromov's density model with satisfies with overwhelming probability a universal-existential first-order sentence (in the language of…
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…
Some lower bounds on Shelah rank in the free group
Javier de la Nuez González, Chloé Perin, Rizos Sklinos
We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.