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

[Rupert McCallum]

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 
http://mail.yahoo.com