Hilbert’s program relativized: proof theoretical and foundational reductions (1988)

by S Feferman
Venue:Journal of Symbolic Logic