FOM: On iterative conception

Harvey Friedman 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
http://www.math.ohio-state.edu/foundations/manuscripts.html

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 mailing list