Solomon Feferman. Hilbert s Program Relativized: Proof-Theoretical and Foundational Reductions. Journal of Symbolic Logic, 53(2):364-384, 1988.
@article{Feferman88,
title = {Hilbert s Program Relativized: Proof-Theoretical and Foundational Reductions},
author = {Solomon Feferman},
year = {1988},
researchr = {https://researchr.org/publication/Feferman88},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {53},
number = {2},
pages = {364-384},
}