Rupert McCallum

activity

20102026

most citedTopological rigidity in totally disconnected locally compact groups

2 citations · 4 across the 13 of their papers we have counts for

collaborators

Showing 2020Show all

2 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.LO2020

A proof of P!=NP

Rupert McCallum

We show that it is provable in PA that there is an arithmetically definable sequence ${ϕ_{n} : n \in ω}$ of $Π_{2}^{0}$ -sentences, such that - PRA+ ${ϕ_{n} : n \in ω}$ is $Π^{0}_{2}…