Solomon Feferman, Thomas Strahm. The unfolding of non-finitist arithmetic. Annals of Pure and Applied Logic, 104(1-3):75-96, 2000.
@article{FefermanS00,
title = {The unfolding of non-finitist arithmetic},
author = {Solomon Feferman and Thomas Strahm},
year = {2000},
researchr = {https://researchr.org/publication/FefermanS00},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {104},
number = {1-3},
pages = {75-96},
}