The first-order logic of free groups
|
Wed, 09/03/2011 11:30 |
Chloé Perin (Strasbourg) |
Algebra Kinderseminar  |
ChCh, Tom Gate, Room 2 |
| 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. | |||