Understanding the axioms II: Symmetric extensions for large cardinal axioms

Start date: 1 October 2024
End date: 30 September 2027
Funder: UKRI
Value: £739,827
Primary investigator: Dr Asaf Karagila

We continue the research of the impact of large cardinal axioms on the structure of the mathematical universe without the Axiom of Choice.