Logic Seminar

Romin AbdolahzadiCornell University
Elimination of imaginaries

Tuesday, April 23, 2019 - 2:55pm
Malott 206

This is an introductory talk on stability theory. We will discuss a Galois-theoretic interpretation of definability and the basic preliminary results needed to study stability: elimination of imaginary elements, codes, strong types, and abstract algebraic closures.