[FOM] 259:Pi01 pointer

[Harvey Friedman]

I have formatted my last numbered FOM posting (#258). I also have corrected
quite a number of typos and small errors. It represents the current state of
the art and is self contained.

You can download it as a pdf file at

http://www.math.ohio-state.edu/%7Efriedman/

under downloadable manuscripts, manuscript number 49,

Pi01 Incompleteness, November 30, 2005.

*************************************

I use http://www.math.ohio-state.edu/%7Efriedman/ for downloadable
manuscripts. This is the 259th in a series of self contained numbered
postings to FOM covering a wide range of topics in f.o.m. The list of
previous numbered postings #1-249 can be found at
http://www.cs.nyu.edu/pipermail/fom/2005-June/008999.html in the FOM
archives, 6/15/05, 9:18PM.

250. Extreme Cardinals/Pi01  7/31/05  8:34PM
251. Embedding Axioms  8/1/05  10:40AM
252. Pi01 Revisited  10/25/05  10:35PM
253. Pi01 Progress  10/26/05  6:32AM
254. Pi01 Progress/more  11/10/05  4:37AM
255. Controlling Pi01  11/12  5:10PM
256. NAME:finite inclusion theory  11/21/05  2:34AM
257. FIT/more  11/22/05  5:34AM
258. Pi01/Simplification/Restatement  11/27/05  2:12AM

Harvey Friedman