Louise Hay Logic Seminar
Gabe Conant and James Freitag
UIC
Galois theory, model theory, and cohomology
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.
Thursday October 20, 2011 at 3:00 PM in SEO 1227