scientific article; zbMATH DE number 1950268

zbMATH Open1016.03062MaRDI QIDQ4412866FDOQ4412866

Authors: Dan E. Willard 

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810281.htm

Title of this publication is not available (Why is that?)

Recommendations

• A generalization of the second incompleteness theorem and some exceptions to it
• On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction
• About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction
• scientific article; zbMATH DE number 1612566
• How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q

Mathematics Subject Classification ID

Structure of proofs (03F07) First-order arithmetic and fragments (03F30)

Cited In (9)

• On the broader epistemological significance of self-justifying axiom systems
• Automated Reasoning with Analytic Tableaux and Related Methods
• How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
• Title not available (Why is that?)
• Peano's smart children: A provability logical study of systems with built-in consistency
• An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
• On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction
• A generalization of the second incompleteness theorem and some exceptions to it
• About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction

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