お知らせなど

• 算術と様相論理の研究・論文セミナー
• 証明可能性論理　文献集
• 様々な論理の補間性の状況

数学ノート

備忘録・雑記などをここに置いておきます．

• \(\Delta_n\)-定義可能だが \(\Delta_n(\mathsf{PA})\)-定義可能でない集合
• 健全性と \(\omega\)-無矛盾性
• Π1-完全な理論
• \(T+\mathrm{Con}_T\) から \(\neg \mathrm{Pr}_T(\ulcorner \varphi \urcorner)\) も \(\neg \mathrm{Pr}_T(\ulcorner \neg \varphi \urcorner)\) も証明できない \(\varphi\)
• 高さが無限だが \(\Sigma_1\)-健全でない理論の例
• 複雑さが有限の拡大の不完全性
• Rosser 型の \(\Pi_1\) 反映原理について