Strong Axioms of Infinity: Frameworks, Interactions and Applications

Objetivo

In spite of their central role in modern set theory, strong axioms of infinity (or large cardinal axioms) are still surrounded by an aura of vagueness, a lack of generality and many open conceptual questions. After the study of large cardinals has evolved for over eighty years, recent results suggest that it now makes sense to develop a general theory of strong axioms of infinity in which all known large cardinals are seen as milestones in a hierarchy of mathematical principles derived from some much more general considerations about the reflective properties of the set-theoretic universe. The development of such a theory would lead to a breakthrough in our understanding of large cardinals and their role in mathematics, and provide strong justifications for their acceptance as true mathematical statements. In this project, we want to work towards this breakthrough with the help of novel combinations of concepts and techniques from different areas of set theory.

We will develop general frameworks for strong axioms of infinity that incorporate all types of large cardinals studied so far. The work of the proposed supervisor on structural reflection properties and recent pioneering results in combinatorial set theory will serve as the starting points for this work.

Moreover, motivated by the strong influence of large cardinals on the theory of definable sets of real numbers, we will study the impact of these axioms on definability at higher cardinalities. This task is closely related to one of the most important developments in modern set theory, Hugh Woodin’s programme of constructing a canonical inner model containing a supercompact cardinal.

Finally, strong axioms of infinity have recently been used with great success to answer questions in other branches of mathematics, like category theory or homotopy theory. These results opened up a wide area of possible applications of set-theoretic results that we also want to explore in our project.