Date: Wednesday 27 September 2017
Place: Room S-3
Department of Mathematics & Computer Science
University of Barcelona
Gran Via de les Corts Catalanes 585
Speaker: Alejandro Poveda (Universitat de Barcelona)
Title: Woodin’s HOD-Dichotomy
Abstract: We shall give a complete proof of W. H.
Woodin’s remarkable result that if there exists an
extendible cardinal, then either the set-theoretic universe
V is very “close” to HOD (the class of Hereditarily Ordinal
Definable sets), or it is very “far” from it.