Philip Welch

University of Bristol

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.

Comments are closed.