Gödel's Second incompleteness theorem for Q

DOI10.2307/2272251zbMath0328.02017MaRDI QIDQ4093419

A. Bezboruah, John C. Shepherdson

Publication date: 1976

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

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

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03F99: Proof theory and constructive mathematics

Related Items

How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q, The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS, Predicative logic and formal arithmetic, The paradox of the knower revisited, Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems, Passive induction and a solution to a Paris-Wilkie open question, Overspill and fragments of arithmetic, On \(\mathsf{Q}\), Montague's paradox, informal provability, and explicit modal logic, A generalization of the second incompleteness theorem and some exceptions to it, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, Self-verifying axiom systems, the incompleteness theorem and related reflection principles, 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, Cuts, consistency statements and interpretations