Of possible interest to FOM readers. http://www.math.ohio-state.edu/%7Efriedman/manuscripts.html Lecture Notes, #50, 51 50. Aspects of Constructive Set Theory and Beyond. 51. Concrete Incompleteness from ERA through Large Cardinals. Harvey Friedman