Seminar in Logic and Philosophy of Mathematics

logic 研究集会

＠神戸大学。午前中のみ出席。

Ordinal-Free Proof of the Cut-Elimination Theorem for \Pi^1_1-analysis with omega-rule （秋吉亮太）

昨年の科学哲学会でした話の詳細版。

Takeuti's proof of cut elimination for \Pi^1_1-CA. (W.W. Tait)

順序数記法を使わないで説明する、竹内の \Pi^1_1-CAのカット除去証明の本質について。難しかったです。