Equivalence of F with a sub-theory of peano arithmetic

Abstract

In a short, technical note, the system of arithmetic, F, introduced in Systems for a Foundation of Arithmetic and "True" Arithmetic Can Prove Its Own Consistency and Proving Quadratic Reciprocity, is demonstrated to be equivalent to a sub-theory of Peano Arithmetic; the sub-theory is missing, most notably, the Successor Axiom

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,168

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
24 (#482,878)

6 months
1 (#448,551)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references