Gödel’s second incompleteness theorem for Σn-definable theories

&
Logic Journal of the IGPL 26 (2):255-257 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzx061

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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

Generalizations of gödel’s incompleteness theorems for ∑n-definable theories of arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
An Incompleteness Theorem Via Ordinal Analysis.James Walsh - 2024 - Journal of Symbolic Logic 89 (1):80-96.
Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Gödel's Second incompleteness theorem for Q.A. Bezboruah & J. C. Shepherdson - 1976 - Journal of Symbolic Logic 41 (2):503-512.
Gödel’s second incompleteness theorem: How it is derived and what it delivers.Saeed Salehi - 2020 - Bulletin of Symbolic Logic 26 (3-4):241-256.
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.William Ryan - 1978 - Mathematical Logic Quarterly 24 (25‐30):457-459.
Arithmetic and Logic Incompleteness: the Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
Redundancies in the Hilbert-Bernays derivability conditions for gödel's second incompleteness theorem.R. G. Jeroslow - 1973 - Journal of Symbolic Logic 38 (3):359-367.

Analytics

Added to PP
2018-01-10

Downloads
24 (#647,262)

6 months
6 (#702,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.

Add more citations

References found in this work

Metamathematics of First-Order Arithmetic.P. Hájek & P. Pudlák - 2000 - Studia Logica 64 (3):429-430.
Experimental Logics and Δ₂⁰-Theories.R. G. Jeroslow - 1975 - Journal of Philosophical Logic 4 (3):253 - 267.
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.

View all 6 references / Add more references