BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Chloé Perin contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a complete characterization of the forking independence relation over any set of parameters in the free groups of finite rank, in terms of the $JSJ$ decompositions relative to those parameters.
In this short note we prove that a definable set $X$ over $\mathbb F_n$ is superstable only if $X(\mathbb F_n)=X(\mathbb F_ω)$.
We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups.
We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.
We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We deduce as a corollary that subgroups elementarily embedded in finitely generated free groups are free factors.
We use hyperbolic towers to answer some model theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type $p_0$, but that there is a finitely generated model which omits $p_0^{(2)}$. We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic type which have different cardinalities. We also show that a free product of homogeneous groups is not necessarily homogeneous.