[FOM] consistency of NF?

Timothy Y. Chow tchow at alum.mit.edu
Thu Jul 3 22:00:08 EDT 2014


Cody Roux asked:

> Just to be clear, with respect to what are they showing consistency of 
> NF?

I thought that the following fact was already posted to FOM, but it seems 
not: Randall Holmes has a preprint available on his webpage.

http://math.boisestate.edu/~holmes/holmes/nfdoc.pdf

Tim


More information about the FOM mailing list