2 citations · 4 across the 13 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.LO2017
All large-cardinal axioms not known to be inconsistent with ZFC are justified
Rupert McCallum
In other work we have outlined how, building on ideas of Welch and Roberts, one can motivate believing in the existence of supercompact cardinals. After making this observation we…
math.LO2017
Which axioms of set theory are intrinsically justified?
Rupert McCallum
We recently formulated a new large-cardinal axiom of strength intermediate between a totally indescribable cardinal and an -Erdős cardinal, positing the existence of what we cal…
math.LO2017
The choiceless cardinals are inconsistent
Rupert McCallum
We give a proof of the Kunen inconsistency in ZF.