[FOM] "not predicatively provable"

steve newberry stevnewb at ix.netcom.com
Mon Jun 9 16:51:52 EDT 2003

Dear Professor Friedman,

In your "G"odel Lecture Unedited" (June 28, 2002), you use the phrase,
"not predicatively provable".  I am very interested in the subject of
predicativity, and would be most appreciative if you would be so kind
as to inform me as to where I might find the simplest definition of
that phrase as you employ it.

Please advise,



More information about the FOM mailing list