Some specially formulated axiomizations for I _0 manage to evade the Herbrandized version of the second incompleteness theorem

DOI10.1016/J.IC.2008.11.007MaRDI QIDQ731897zbMATH OpenOpenAlexFDO

Authors Dan E. Willard

Publication date 9 October 2009

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2008.11.007

zbMATH Keywords

Herbrand consistencyGödel's second incompleteness theorem

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40)

Recommendations

• The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
• Herbrand consistency of some arithmetical theories
• On Herbrand consistency in weak arithmetic
• Herbrand consistency and bounded arithmetic
• Another look at the second incompleteness theorem

Cites work

• scientific article; zbMATH DE number 1612566 (Why is no real title available?)
• scientific article; zbMATH DE number 5000992 (Why is no real title available?)
• scientific article; zbMATH DE number 4004177 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 3745156 (Why is no real title available?)
• scientific article; zbMATH DE number 42574 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3525107 (Why is no real title available?)
• scientific article; zbMATH DE number 517088 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 819737 (Why is no real title available?)
• scientific article; zbMATH DE number 910749 (Why is no real title available?)
• scientific article; zbMATH DE number 3430656 (Why is no real title available?)
• scientific article; zbMATH DE number 3085191 (Why is no real title available?)
• A generalization of the second incompleteness theorem and some exceptions to it
• A note on proofs of falsehood
• A note on the undefinability of cuts
• An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Arithmetization of metamathematics in a general setting
• Cuts, consistency statements and interpretations
• Existentially closed structures and Gödel's second incompleteness theorem
• Faith \& falsity
• Finite sets and Gödel's incompleteness theorems
• Gödel sentences of bounded arithmetic
• Gödel's Second incompleteness theorem for Q
• Herbrand consistency and bounded arithmetic
• How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
• Modal analysis of generalized rosser sentences
• On Herbrand consistency in weak arithmetic
• On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
• On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
• On the scheme of induction for bounded arithmetic formulas
• Passive induction and a solution to a Paris-Wilkie open question
• Rudimentary Predicates and Relative Computation
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• Solution of a problem of Leon Henkin
• Some Prime Elements in the Lattice of Interpretability Types
• The decision problem for exponential diophantine equations
• The unprovability of small inconsistency. A study of local and global interpretability
• Undecidable theories
• Unprovability of consistency statements in fragments of bounded arithmetic

Cited in

(3)

• Another look at the second incompleteness theorem
• The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
• 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011

This page was built for publication: Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem

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