Øystein Linnebo. Predicative fragments of Frege Arithmetic. Bulletin of Symbolic Logic, 10(2):153-174, 2004. [doi]
@article{Linnebo04-0, title = {Predicative fragments of Frege Arithmetic}, author = {Øystein Linnebo}, year = {2004}, url = {http://www.math.ucla.edu/~asl/bsl/1002/1002-001.ps}, researchr = {https://researchr.org/publication/Linnebo04-0}, cites = {0}, citedby = {0}, journal = {Bulletin of Symbolic Logic}, volume = {10}, number = {2}, pages = {153-174}, }