[FOM] Solomon Feferman's response to "Predicativity beyond Gamma_0"

[Nik Weaver]

Some time ago I posted a paper, "Predicativity beyond Gamma_0", in
which I argued that existing analyses of predicative reasoning were
fundamentally flawed and that a more careful analysis showed that
predicativism is proof-theoretically significantly stronger than was
previously thought.

Solomon Feferman, whose work comes under a great deal of criticism
in my paper, has written a detailed critique, and I have written a
comprehensive response to this critique.  With his permission, I
have posted both messages on my web page.  They are available at:

http://www.math.wustl.edu/~nweaver/conceptualism.html

Nik Weaver
Math Dept.
Washington University
St. Louis, MO 63130 USA
nweaver at math.wustl.edu