[FOM] "not predicatively provable"

Harvey Friedman friedman at math.ohio-state.edu
Mon Jun 9 18:50:01 EDT 2003

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

More information about the FOM mailing list