[FOM] consistency of NF?

Stephen G Simpson simpson at math.psu.edu
Thu Jun 19 09:58:05 EDT 2014

Murdoch Gabbay (http://arxiv.org/abs/1406.4060) has published a proof
of the consistency of NF.  Has anyone here understood and/or checked
the proof?

Stephen G. Simpson
Professor of Mathematics
Pennsylvania State University
research interests:
 mathematial logic, foundations of mathematics

More information about the FOM mailing list