CORDIS
EU research results

CORDIS

English EN
Strong Axioms of Infinity: Frameworks, Interactions and Applications

Strong Axioms of Infinity: Frameworks, Interactions and Applications

Objective

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.
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

UNIVERSITAT DE BARCELONA

Address

Gran Via De Les Corts Catalanes 585
08007 Barcelona

Spain

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 172 932,48

Project information

Grant agreement ID: 842082

Status

Grant agreement signed

  • Start date

    1 April 2020

  • End date

    31 March 2022

Funded under:

H2020-EU.1.3.2.

  • Overall budget:

    € 172 932,48

  • EU contribution

    € 172 932,48

Coordinated by:

UNIVERSITAT DE BARCELONA

Spain