Translator Disclaimer
June 2007 Burgess' PV is Robinson's Q
Mihai Ganea
J. Symbolic Logic 72(2): 619-624 (June 2007). DOI: 10.2178/jsl/1185803626

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

Download 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

JOURNAL ARTICLE
6 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.72 • No. 2 • June 2007
Back to Top