Seminar series
Date
Wed, 09 Mar 2011
Time
11:30 -
12:30
Location
ChCh, Tom Gate, Room 2
Speaker
Chloé Perin
Organisation
Strasbourg
The long-open Tarski problem asked whether first-order logic can distinguish between free groups of different ranks. This was finally answered in the negative by the works of Sela and Kharlampovich-Myasnikov, which sparked renewed interest in the model theoretic properties of free groups. I will give a survey of known results and open questions on this topic.