[FOM] 259:Pi01 pointer
Harvey Friedman
friedman at math.ohio-state.edu
Wed Nov 30 10:36:51 EST 2005
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
More information about the FOM
mailing list