Predicative fragments of Frege Arithmetic

Øystein Linnebo. Predicative fragments of Frege Arithmetic. Bulletin of Symbolic Logic, 10(2):153-174, 2004. [doi]

Abstract

Abstract is missing.