Gödel's Second incompleteness theorem for Q
From MaRDI portal
Publication:4093419
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
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)