2 citations · 2 across the 3 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2020
Brouwer fixed point theorem as a corollary of Lawvere
Rupert McCallum
It is investigated in what sense the Brouwer fixed point theorem may be viewed as a corollary of the Lawvere fixed point theorem. A suitable generalisation of the Lawvere fixed poi…
math.LO2018
New Large Cardinal Axioms and the Ultimate-L Program
Rupert McCallum
We will consider a number of new large-cardinal properties, the -tremendous cardinals for each limit ordinal , the hyper-tremendous cardinals, the -enormous cardinals fo…
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…