[FOM] A potentially embarrassing claim

[Randall Holmes]

Dear colleagues,

At this point I believe that I am in possession of a fairly accurate
outline of a proof of the consistency of New Foundations.

I'm not ready to release the document yet; it needs serious editing.  I
will be presenting it to a seminar locally in Boise.

I had the basic idea at the NF 75th workshop in March and have been working
on it since.

NF has the same consistency strength as TST + Infinity, has the same kinds
of extensions as NFU in the same ways, has no interesting consequences for
the combinatorics of small sets, etc.  No surprises, this is a rather
boring outcome in my opinion...

Details available when ready.

Thomas Forster is organizing a conference next spring at Cambridge at which
I would certainly be discussing this.

-- 
Sincerely, Randall Holmes

Any opinions expressed above are not the
official opinions of any person or institution.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20121101/bdd86791/attachment.html>