Roland Walker : Externally Definable Sets and Shelah Expansions

Posted by Roland Walker , part of the Louise Hay Logic Seminar.

At

Sept. 22, 2016, 4 p.m.

In

SEO 427

Abstract

A major focus of model theory is the study of definable sets. In this talk we will discuss externally definable sets and Shelah expansions. Our goal will be to prove a theorem of Saharon Shelah stating that in the NIP setting, Shelah expansions have quantifier elimination. While proving the theorem, we will review and use several basic techniques involving quantifier-free types, heirs, coheirs, and coheir sequences. We will also discuss some areas of open research concerning externally definable sets.