Gödel's Second incompleteness theorem for Q

DOI10.2307/2272251zbMath0328.02017OpenAlexW4247815854MaRDI 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

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

Related Items

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