Source author record

Rizos Sklinos

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GR math.GT

Catalog footprint

Research overview

10works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Towers and the first-order theory of hyperbolic groups

This paper is devoted to the first-order theory of torsion-free hyperbolic groups. One of its purposes is to review some results and to provide precise and correct statements and definitions, as well as some proofs and new results. A key concept is that of a tower (Sela) or NTQ system (Kharlampovich-Myasnikov). We discuss them thoroughly. We state and prove a new general theorem which unifies several results in the literature: elementarily equivalent torsion-free hyperbolic groups have isomorphic cores (Sela); if $H$ is elementarily embedded in a torsion-free hyperbolic group $G$ , then $G$ is a tower over $H$ relative to $H$ (Perin); free groups (Perin-Sklinos, Ould-Houcine), and more generally free products of prototypes and free groups, are homogeneous. The converse to Sela and Perin's results just mentioned is true. This follows from the solution to Tarski's problem on elementary equivalence of free groups, due independently to Sela and Kharlampovich-Myasnikov, which we treat as a black box throughout the paper. We present many examples and counterexamples, and we prove some new model-theoretic results. We characterize prime models among torsion-free hyperbolic groups, and minimal models among elementarily free groups. Using Fraïssé's method, we associate to every torsion-free hyperbolic group $H$ a unique homogeneous countable group $\mathcal{M}$ in which any hyperbolic group $H'$ elementarily equivalent to $H$ has an elementary embedding. In an appendix we give a complete proof of the fact, due to Sela, that towers over a torsion-free hyperbolic group $H$ are $H$ -limit groups.

preprint2018arXiv

Forking and JSJ decompositions in the free group II

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.

preprint2015arXiv

Fields definable in the free group

We prove that no infinite field is definable in the theory of the free group

preprint2014arXiv

On ampleness and pseudo-Anosov homeomorphisms in the free group

We use pseudo-Anosov homeomorphisms of surfaces in order to prove that the first order theory of non abelian free groups, $T_{fg}$ , is $n$ -ample for any $n\inω$ . This result adds to the work of Pillay, that proved that $T_{fg}$ is non CM -trivial. The sequence witnessing ampleness is a sequence of primitive elements in $F_ω$ . Our result provides an alternative proof to the main result of a preprint by Ould Houcine-Tent. We also add an appendix in which we make a few remarks on Sela's paper on imaginaries in torsion free hyperbolic groups. In particular we give alternative transparent proofs concerning the non-elimination of certain imaginaries.

preprint2014arXiv

On the (non) superstable part of the free group

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_ω)$ .

preprint2014arXiv

Saturated free algebras revisited

We give an exposition of results of Baldwin-Shelah on saturated free algebras, at the level of generality of complete first order theories $T$ with a saturated model $M$ which is in the algebraic closure of an indiscernible set. We then make some new observations when $M$ is a saturated free algebra, analogous to (more difficult) results for the free group, such as a description of forking.

preprint2013arXiv

Forking and JSJ decompositions in the free group

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.

preprint2013arXiv

On groups and fields interpretable in torsion-free hyperbolic 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.

preprint2012arXiv

Hyperbolic towers and independent generic sets in the theory of free groups

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.

preprint2010arXiv

On the Generic Type of the Free Group

We answer a question raised by Pillay, that is whether the infinite weight of the generic type of the free group is witnessed in $F_ω$ . We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we observe that the generic type over the empty set is not isolated. Finally, we show that uncountable free groups are not $\aleph_1$ -homogeneous.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Rizos Sklinos

Research overview

Is this your work?

10 publications

Towers and the first-order theory of hyperbolic groups

Forking and JSJ decompositions in the free group II

Fields definable in the free group

On ampleness and pseudo-Anosov homeomorphisms in the free group

On the (non) superstable part of the free group

Saturated free algebras revisited

Forking and JSJ decompositions in the free group

On groups and fields interpretable in torsion-free hyperbolic groups

Hyperbolic towers and independent generic sets in the theory of free groups

On the Generic Type of the Free Group

See the researcher in context

Building this map preview