## Journal of Symbolic Logic

- J. Symbolic Logic
- Volume 57, Issue 3 (1992), 824-831.

### Whither Relevant Arithmetic?

Harvey Friedman and Robert K. Meyer

#### Abstract

Based on the relevant logic $\mathrm{R}$, the system $\mathrm{R}^{\tt\#}$ was proposed as a relevant Peano arithmetic. $\mathrm{R}^{\tt\#}$ has many nice properties: the most conspicuous theorems of classical Peano arithmetic $\mathrm{PA}$ are readily provable therein; it is readily and effectively shown to be nontrivial; it incorporates both intuitionist and classical proof methods. But it is shown here that $\mathrm{R}^{\tt\#}$ is properly weaker than $\mathrm{PA}$, in the sense that there is a strictly positive theorem $\mathrm{QRF}$ of $\mathrm{PA}$ which is unprovable in $\mathrm{R}^{\tt\#}$. The reason is interesting: if $\mathrm{PA}$ is slightly weakened to a subtheory $\mathrm{P}^+$, it admits the complex ring $\mathbf{C}$ as a model; thus $\mathrm{QRF}$ is chosen to be a theorem of $\mathrm{PA}$ but false in $\mathbf{C}$. Inasmuch as all strictly positive theorems of $\mathrm{R}^{\tt\#}$ are already theorems of $\mathrm{P}^+$, this nonconservativity result shows that $\mathrm{QRF}$ is also a nontheorem of $\mathrm{R}^{\tt\#}$. As a consequence, Ackermann's rule $\gamma$ is inadmissible in $\mathrm{R}^{\tt\#}$. Accordingly, an extension of $\mathrm{R}^{\tt\#}$ which retains its good features is desired. The system $\mathrm{R}^{\tt\#}{\tt\#}$, got by adding an omega-rule, is such an extension. Central question: is there an effectively axiomatizable system intermediate between $\mathrm{R}^{\tt\#}$ and $\mathrm{R}^{\tt\#}{\tt\#}$, which does formalize arithmetic on relevant principles, but also admits $\gamma$ in a natural way?

#### Article information

**Source**

J. Symbolic Logic, Volume 57, Issue 3 (1992), 824-831.

**Dates**

First available in Project Euclid: 6 July 2007

**Permanent link to this document**

https://projecteuclid.org/euclid.jsl/1183744042

**Mathematical Reviews number (MathSciNet)**

MR1187450

**Zentralblatt MATH identifier**

0761.03009

**JSTOR**

links.jstor.org

#### Citation

Friedman, Harvey; Meyer, Robert K. Whither Relevant Arithmetic?. J. Symbolic Logic 57 (1992), no. 3, 824--831. https://projecteuclid.org/euclid.jsl/1183744042