[FOM] Yessenin-Volpin

Rupert McCallum rupertmccallum at yahoo.com
Thu Nov 2 16:36:22 EST 2006

Yes, he claimed to have a proof of the consistency of ZF with any
finite number of inaccessible cardinals. Unfortunately it seems to be
hard to get hold of a copy of this proof. I would really like to know
in which axiomatic theory he claimed it could be done.

--- Gabriel Stolzenberg <gstolzen at math.bu.edu> wrote:

>    Alik Volpin's "ultra-finitist" program had the aim of proving
> the consistency of mathematics.
>    Gabriel Stolzenberg
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

Access over 1 million songs - Yahoo! Music Unlimited 

More information about the FOM mailing list