Seminar series
Date
Tue, 08 Mar 2011
17:00
Location
L2
Speaker
Dr Chloé Perin
Organisation
Strasbourg

Following the works of Sela and Kharlampovich-Myasnikov on the Tarski problem, we are interested in the first-order logic of free (and more generally hyperbolic) groups. It turns out that techniques from geometric group theory can be used to answer many questions coming from model theory on these groups. We showed with Sklinos that free groups of finite rank are homogeneous, namely that two tuples of elements which have the same first-order properties are in the same orbit under the action of the automorphism group. We also show that this is not the case for most surface groups.

Please contact us with feedback and comments about this page. Last updated on 03 Apr 2022 01:32.