Redundancies in the Hilbert-Bernays derivability conditions for gödel's second incompleteness theorem

Journal of Symbolic Logic 38 (3):359-367 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273028

Links

PhilArchive



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

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

Edgar Morin's paradigm of complexity and gödel's incompleteness theorem.Yi-Zhuang Chen - 2004 - World Futures 60 (5 & 6):421 – 431.
Incompleteness in a general setting (vol 13, pg 21, 2007).John L. Bell - 2008 - Bulletin of Symbolic Logic 14 (1):21 - 30.
What does Gödel's second theorem say?Michael Detlefsen - 2001 - Philosophia Mathematica 9 (1):37-71.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown
From closed to open systems.Carlo Cellucci - 1993 - In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
Existentially closed structures and gödel's second incompleteness theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown

Analytics

Added to PP
2009-01-28

Downloads
59 (#261,735)

6 months
11 (#196,102)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.
Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.
Varieties of Self-Reference in Metamathematics.Balthasar Grabmayr, Volker Halbach & Lingyuan Ye - 2023 - Journal of Philosophical Logic 52 (4):1005-1052.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.

View all 18 citations / Add more citations

References found in this work

Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.

Add more references