FOM: On iterative conception

Harvey Friedman friedman at
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 mailing list