collaborators

1 paper

math.LO2020

Steel's Programme: Evidential Framework, the Core and Ultimate-L

Joan Bagaria, Claudio Ternullo

We address Steel's Programme to identify a 'preferred' universe of set theory and the best axioms extending ZFC by using his multiverse axioms MV and the 'core hypothesis'. In the…