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.





Organiser: Philip Welch

Comments are closed.
css.php