[FOM] From Compactness to Completeness

[Stephen G Simpson]

My FOM posting of December 29 is erroneous.  Contrary to what I said,
the statement that every valid sentence is provable is not equivalent
to WKL_0 over RCA_0.  I will post a corrected version soon.

Stephen G. Simpson
Professor of Mathematics
Pennsylvania State University
http://www.math.psu.edu/simpson/
foundations of mathematics, recursion theory, mathematical logic