Understanding the axioms: the interactions of the Axiom of Choice with large cardinal axioms

Project Details

StatusActive
Effective start/end date1/07/2030/06/24

Funding

  • Medical Research Council: £1,155,050.00