Dr. Juan Aguilera, TU Wien

We discuss extensions of the axioms of mathematics
asserting that very large infinite sets exist, as well as the
implications these have on the relation between the universe
of all sets V and Goedel's sub-universe of definable sets HOD.