FOM: On iterative conception
friedman at math.ohio-state.edu
Thu Jan 22 04:19:37 EST 1998
Machover writes 10:13 AM 1/22/98:
>This is why Harvey Friedman's project in this direction is, as far as I am
>concerened, the most exciting promise in f.o.m. for a very long time.
Without acknowledging this assessment, I point to the paper
"Transfer Principles in Set Theory," at
Ideas in this direction are formally worked out there - but nowhere near
what one ultimately wants, and nowhere near what looks promising.
More information about the FOM