Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
From MaRDI portal
Publication:4401433
DOI10.2307/2273028zbMath0276.02031OpenAlexW2018618761MaRDI QIDQ4401433
Publication date: 1973
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273028
Related Items (19)
Arithmetical completeness theorems for monotonic modal logics ⋮ Bicontextualism ⋮ Varieties of self-reference in metamathematics ⋮ The liar paradox and ``meaningless revenge ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ SELF-REFERENCE IN ARITHMETIC I ⋮ On deciding the provability of certain fixed point statements ⋮ Theory of proofs (arithmetic and analysis) ⋮ Distilling the requirements of Gödel's incompleteness theorems with a proof assistant ⋮ ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP ⋮ A formally verified abstract account of Gödel's incompleteness theorems ⋮ The Gödelian Inferences ⋮ Alethic reference ⋮ Reference and truth ⋮ A NOTE ON DERIVABILITY CONDITIONS ⋮ Rosser provability and the second incompleteness theorem ⋮ New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems ⋮ Cuts, consistency statements and interpretations ⋮ Toward useful type-free theories. I
Cites Work
This page was built for publication: Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
