FOM: On iterative conception

[Harvey Friedman]

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.