An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency

DOI10.2178/jsl/1129642122zbMath1102.03055OpenAlexW2021331155WikidataQ114005173 ScholiaQ114005173MaRDI QIDQ5486248

Dan E. Willard

Publication date: 6 September 2006

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

Full work available at URL: https://doi.org/10.2178/jsl/1129642122

zbMATH Keywords

consistencydeduction systems

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Related Items (10)

2011 North American Annual Meeting of the Association for Symbolic Logic ⋮ Passive induction and a solution to a Paris-Wilkie open question ⋮ The single-minded pursuit of consistency and its weakness ⋮ The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem ⋮ 2006 Annual Meeting of the Association for Symbolic Logic ⋮ 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 ⋮ 2007-2008 Winter Meeting of the Association for Symbolic Logic ⋮ 2008 Annual Meeting of the Association for Symbolic Logic ⋮ On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Subsystems of true arithmetic and hierarchies of functions
• On the scheme of induction for bounded arithmetic formulas
• Overspill and fragments of arithmetic
• Unprovability of consistency statements in fragments of bounded arithmetic
• Derivability conditions on Rosser's provability predicates
• Herbrand consistency and bounded arithmetic
• Modal analysis of generalized rosser sentences
• Cuts, consistency statements and interpretations
• Rudimentary Predicates and Relative Computation
• How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
• Fundamenta Mathematicae: An Examination of Its Founding and Significance
• Relative Interpretations
• 1 — Consistency and faithful interpretations
• On Herbrand consistency in weak arithmetic

This page was built for publication: An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency