Logic Seminar
Daniel Groves
UIC
the elementary theory of free groups
Abstract:
I will discuss some aspects of Sela's work on the elementary theory of
free groups. I will probably particularly focus on the structure of
two-quantifier sentences, and the procedure for verifying them, as outlined
in Sela's second and fourth papers.
Tea at 4, talk shortly thereafter.
Monday March 10, 2008 at 4:00 PM in SEO 427