Daniel Groves : the elementary theory of free groups

Posted by , part of the Logic Seminar.

At

March 10, 2008, 4 p.m.

In

SEO 427

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.