scientific article; zbMATH DE number 5000992

MaRDI QIDQ3367334zbMATH OpenFDO

Authors Dan E. Willard

Publication date 24 January 2006

zbMATH Keywords

second incompleteness theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
• A generalization of the second incompleteness theorem and some exceptions to it
• The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic
• scientific article; zbMATH DE number 3972857
• The provability of certain sequents in additive arithmetic
• Infinitary proof theory: the multiplicative additive case
• scientific article; zbMATH DE number 517075
• Decidability of extended theories of addition of the natural numbers and the integers
• scientific article; zbMATH DE number 4006256
• scientific article; zbMATH DE number 1059204

Cited in

(4)

• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
• Passive induction and a solution to a Paris-Wilkie open question
• The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
• A generalization of the second incompleteness theorem and some exceptions to it

This page was built for publication:

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