Gabe Conant and James Freitag : Galois theory, model theory, and cohomology

Posted by , part of the Louise Hay Logic Seminar.

At

Oct. 20, 2011, 3 p.m.

In

SEO 1227

Abstract

G. Conant will talk about why the Galois correspondence needs requires elimination of imaginaries (or a weak form). J. Freitag will then discuss extending the classical Galois correspondence to extensions which are infinite degree (Poizat did this for the algebraic closure). After setting up the basics, we will introduce definable cocycles and continuous cocycles. The basics of Galois cohomology will be set up and some basic propositions will be proved.