Logic & Set Theory seminar: Canonical inner models with Woodin cardinals
Howard House 4th floor seminar room
Many large cardinal properties are known to hold true in fine structural inner models, given sufficient large cardinals in the universe V. These models generalize Goedel's constructible universe and are canonical in various ways. We will discuss some basic properties of inner models with Woodin cardinals. We will illustrate their canonicity, discussing their definability in V, and some of their internal properties, including whether they satisfy V=HOD.
Seminar organiser: Andrew Brooke-Taylor