Peano's smart children: a provability logical study of systems with built-in consistency

Notre Dame Journal of Formal Logic 30 (2):161-196 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635077

Links

PhilArchive



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

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

The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic.Albert Visser - 1984 - Journal of Philosophical Logic 13 (1):97 - 113.
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
First-order indefinite and uniform neighbourhood semantics.Arnold Nat - 1979 - Studia Logica 38 (3):277 - 296.
The consistency of arithmetic.Storrs McCall - manuscript
"True" arithmetic can prove its own consistency.Andrew Boucher -
A Proof of Consistency of Borkowski's Logical System Containing Peano's Arithmetic.Tadeusz Kubiński - 1963 - Studia Logica 14:197 - 225.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript
Hilary Putnam's Consistency Objection against Wittgenstein's Conventionalism in Mathematics.P. Garavaso - 2013 - Philosophia Mathematica 21 (3):279-296.
The mathematical philosophy of Giuseppe peano.Hubert C. Kennedy - 1963 - Philosophy of Science 30 (3):262-266.
Nominal definitions and logical consequence in the peano school.Consuegra Francisco Rodriguez - 1997 - Theoria 12 (1):125-137.

Analytics

Added to PP
2010-08-24

Downloads
68 (#235,043)

6 months
17 (#141,290)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Self-reference in arithmetic II.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):692-712.
Another look at the second incompleteness theorem.Albert Visser - 2020 - Review of Symbolic Logic 13 (2):269-295.
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references