[FOM] "not predicatively provable"

[Harvey Friedman]

Reply to Newberry 1;51PM 6/9/03.

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,"

Look through Sol Feferman, "In Light of Logic".