Predicative fragments of Frege Arithmetic

Ø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},
}