[FOM] Yessenin-Volpin's consistency proof for ZF

Rupert McCallum rupertmccallum at yahoo.com
Tue Oct 25 21:10:44 EDT 2005

In his paper "The Ultraintuitionistic Criticism and the 
Antitraditional Program for Foundations of Mathematics",
Yessenin-Volpin claimed to have a consistency proof for ZF with any
finite number of inaccessible cardinals from his "ultra-intuitionistic"
standpoint. Does anyone know where he gave the details of the proof?

Yahoo! Mail - PC Magazine Editors' Choice 2005 

More information about the FOM mailing list