Joan Bagaria (U. Barcelona & ICREA)
Lunes, 15 de abril, 13:00h, Univ. Carlos III  
 Cartel  
 Streaming: https://www.youtube.com/watch?v=aCUyROSvuLA  

The Higher Infinite refers to the infinite cardinalities studied by set theory, as charted by large cardinal hypotheses known as large cardinal axioms. These axioms assert the existence of infinite cardinals so large that their existence cannot be proved within the standard ZFC system of set theory. Since the weakest of large cardinals, the "weakly inaccessible", were first defined and studied by Hausdorff over a century ago, a plethora of different and much stronger large cardinals have since then been identified in a great variety of contexts and taking many different forms. Indeed, after the groundbreaking results of Martin-Steel and Woodin in the 1980’s, establishing the tight connection between large cardinals and the determinacy of sets of reals, the theory of large cardinals has been expanding in multiple directions, yielding solutions to many well-known set-theoretic problems, as well as fertile applications to other areas of mathematics, from general to algebraic topology and homotopy theory, to abelian groups, etc. In this talk I will present some examples of large cardinals and will explain their role in mathematics by giving a number of examples in different areas where they have been applied to solve prominent open problems, some of them very recent.