scientific article; zbMATH DE number 1088209

MaRDI QIDQ4364524zbMATH OpenFDO

Authors Dan E. Willard

Publication date 1 April 1998

zbMATH Keywords

Peano Arithmeticself-consistencyself-justificationself-verifying axiom systems

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• scientific article; zbMATH DE number 517088
• An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
• Automated Reasoning with Analytic Tableaux and Related Methods

Cited in

(6)

• A generalization of the second incompleteness theorem and some exceptions to it
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• 1998 Spring Meeting of the Association for Symbolic Logic
• scientific article; zbMATH DE number 517088 (Why is no real title available?)
• A consistency proof for some restrictions of Tait's reflection principles
• An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency

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 Q4364524)