About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction

DOI10.1093/logcom/exaa083OpenAlexW3115293654MaRDI QIDQ5028322

Dan E. Willard

Publication date: 8 February 2022

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exaa083

zbMATH Keywords

Hilbert's second problemgeneralizations of the second incompleteness theorempartial revival of Hilbert's consistency programsemantic tableau deduction

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction