[FOM] Yessenin-Volpin

[Rupert McCallum]

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 
(http://music.yahoo.com/unlimited)