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

DOI10.2307/2273028MaRDI QIDQ4401433zbMATHOpenAlexFDO

Authors Robert G. Jeroslow

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

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Cited in

(19)

• Rosser provability and the second incompleteness theorem
• Self-reference in arithmetic. I
• Alethic reference
• Reference and truth
• Theory of proofs (arithmetic and analysis)
• Varieties of self-reference in metamathematics
• Bicontextualism
• A short note on essentially \(\Sigma_1\) sentences
• New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
• Cuts, consistency statements and interpretations
• A note on derivability conditions
• On deciding the provability of certain fixed point statements
• Toward useful type-free theories. I
• Arithmetical completeness theorems for monotonic modal logics
• 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 liar paradox and ``meaningless revenge
• The Gödelian inferences

This page was built for publication: Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4401433)