Logic Seminar - Omer Ben-Neria

Wed, 27/11/201911:00-13:00
Ross building - Room 63
Omer Ben-Neria will speak about Canonical inner models and approximations to the set theoretic universe.  

The goal of the talk is to introduce the concept of approximating the set theoretic universe V using canonical inner models. 

We will describe different ways by which a canonical inner model M of V can approximate V, as well as applications of having such approximations, and limitations. For the most part, our description will follow two case: the inner models M=L (the constructible universe), and M=HOD (herefeterily ordinal definable sets). 

The presentation will not assume significant background in axiomatic set theory.