שלחו לחבר

First-order logic on the free group

Speaker
Chloé Perin, Hebrew University of Jerusalem
Date
28/05/2017 - 15:00 - 14:00
Place
Colloquium room, Mathematics Dept., building 216
Abstract


We will give an overview of questions one might ask about the first-order theory of free groups and related groups: how much information can first-order formulas convey about these groups or their elements, what algebraic interpretation can be given for model theoretic notions. It turns out that techniques from geometric group theory are very useful to tackle such problems.  We will assume no special knowledge of model theory.

תאריך עדכון אחרון : 21/05/2017