[FOM] "not predicatively provable"
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.
Look through Sol Feferman, "In Light of Logic".
More information about the FOM