On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction

DOI10.1007/978-3-030-36755-8_17MaRDI QIDQ2177593zbMATH OpenOpenAlexFDO

Authors Dan E. Willard

Publication date 6 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-36755-8_17

zbMATH Keywords

Hilbert's consistency programlaw of excluded middlesecond incompleteness theoremsemantic tableaux

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• 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 1950268
• A generalization of the second incompleteness theorem and some exceptions to it
• 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

Cited in

(3)

• scientific article; zbMATH DE number 1612566 (Why is no real title available?)
• scientific article; zbMATH DE number 1950268 (Why is no real title available?)
• 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: On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction

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