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