My Forty Years on His Shoulders, #58 http://www.math.ohio-state.edu/%7Efriedman/manuscripts.html has been revised, and has a new independent Pi01 sentence in section 11. Harvey Friedman