Gödel's Second incompleteness theorem for Q

DOI10.2307/2272251zbMATH Open0328.02017OpenAlexW4247815854MaRDI QIDQ4093419FDOQ4093419

Authors: A. Bezboruah, John Shepherdson 

Publication date: 1976

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272251

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Proof theory and constructive mathematics (03F99)

Cited In (18)

• The paradox of the knower revisited
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
• On \(\mathsf{Q}\)
• Current research on Gödel's incompleteness theorems
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• Passive induction and a solution to a Paris-Wilkie open question
• Montague's paradox, informal provability, and explicit modal logic
• Predicative logic and formal arithmetic
• The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
• Overspill and fragments of arithmetic
• A generalization of the second incompleteness theorem and some exceptions to it
• Cuts, consistency statements and interpretations
• New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
• On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

This page was built for publication: Gödel's Second incompleteness theorem for Q

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