[FOM] New Foundations consistency problem

[Alasdair Urquhart]

Yes, I am aware of Randall Holmes's outline of a proof, that was announced
on FOM by Holmes himself on November 1 2012.  My question is:
what is the current status of this claim?

On Wed, 23 Oct 2013, Andres Caicedo wrote:

>
> You probably want to contact Randall Holmes, at Boise State, who claims to 
> have a proof, and has a semi-private draft of the result. Ask him for the 
> link.
>
> Best,
> Andres