The modal logic of consistency assertions of peano arithmetic

Mathematical Logic Quarterly 29 (1):25-32 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19830290105

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
On the Consistency of a Plural Theory of Frege’s Grundgesetze.Francesca Boccuni - 2011 - Studia Logica 97 (3):329-345.
The consistency of arithmetic.Storrs McCall - manuscript
"True" arithmetic can prove its own consistency.Andrew Boucher -
Update Procedures and the 1-Consistency of Arithmetic.Jeremy Avigad - 2002 - Mathematical Logic Quarterly 48 (1):3-13.
“Strenge” arithmetics.Robert K. Meyer & Greg Restall - unknown
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Hilary Putnam's Consistency Objection against Wittgenstein's Conventionalism in Mathematics.P. Garavaso - 2013 - Philosophia Mathematica 21 (3):279-296.
The shortest definition of a number in Peano arithmetic.Dev K. Roy - 2003 - Mathematical Logic Quarterly 49 (1):83-86.
On predicate provability logics and binumerations of fragments of Peano arithmetic.Taishi Kurahashi - 2013 - Archive for Mathematical Logic 52 (7-8):871-880.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Interpretability over peano arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
Sub-Theory of Peano Arithmetic.Andrew Boucher - unknown
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic.Peter Clote & Kenneth Mcaloon - 1983 - Journal of Symbolic Logic 48 (4):1090-1104.

Analytics

Added to PP
2013-12-01

Downloads
15 (#946,138)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The Unprovability of Consistency. An Essay in Modal Logic.C. Smoryński - 1979 - Journal of Symbolic Logic 46 (4):871-873.

Add more references