Abstract
In [2] John Burgess describes predicative versions of Frege's logic and poses the problem of finding their exact arithmetical strength. I prove here that PV, the simplest such theory, is equivalent to Robinson's arithmetical theory Q.
Citation
Mihai Ganea. "Burgess' PV is Robinson's Q." J. Symbolic Logic 72 (2) 619 - 624, June 2007. https://doi.org/10.2178/jsl/1185803626
Information
Published: June 2007
First available in Project Euclid: 30 July 2007
zbMATH: 1118.03050
MathSciNet: MR2320293
Digital Object Identifier: 10.2178/jsl/1185803626
Rights: Copyright © 2007 Association for Symbolic Logic