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

DOI10.2307/2273028zbMATH Open0276.02031OpenAlexW2018618761MaRDI QIDQ4401433FDOQ4401433

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)

Cites Work

• Title not available (Why is that?)

Cited In (19)

• Theory of proofs (arithmetic and analysis)
• Bicontextualism
• Varieties of self-reference in metamathematics
• Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
• A formally verified abstract account of Gödel's incompleteness theorems
• The liar paradox and ``meaningless revenge
• SELF-REFERENCE IN ARITHMETIC I
• A NOTE ON DERIVABILITY CONDITIONS
• On deciding the provability of certain fixed point statements
• Alethic reference
• Reference and truth
• ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP
• Arithmetical completeness theorems for monotonic modal logics
• Cuts, consistency statements and interpretations
• Toward useful type-free theories. I
• The Gödelian Inferences
• New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
• A short note on essentially \(\Sigma_1\) sentences
• Rosser provability and the second incompleteness theorem

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)