A note on derivability conditions

DOI 機関リポジトリ (HANDLE) Web Site 被引用文献2件 参考文献14件 オープンアクセス

説明

We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and nonimplications between the conditions, and we discuss unprovability of consistency statements induced by derivability conditions. First, we classify already known versions of the second incompleteness theorem, and exhibit some new sets of conditions which are sufficient for unprovability of Hilbert–Bernays’ consistency statement. Secondly, we improve Buchholz’s schematic proof of provable Σ1-completeness. Then among other things, we show that Hilbert–Bernays’ conditions and L¨ob’s conditions are mutually incomparable. We also show that neither Hilbert–Bernays’ conditions nor L¨ob’s conditions accomplish G¨odel’s original statement of the second incompleteness theorem.

収録刊行物

被引用文献 (2)*注記

もっと見る

参考文献 (14)*注記

もっと見る

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ