The Härtig Quantifier Model
Logic and Set Theory Seminar
13th December 2017, 2:00 pm – 3:30 pm
Howard House, 4th Floor Seminar Room
In recent work Kennedy, Magidor and Väänänen have investigated inner models generalising Gödel's constructible universe, L, to models built using definability in extended languages. We survey some of these results, in particular on the model built using the Härtig 'cardinality-quantifier' for which we give a complete characterisation.