[FOM] From Compactness to Completeness

Stephen G Simpson simpson at math.psu.edu
Thu Dec 30 11:12:37 EST 2010


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



More information about the FOM mailing list