資料公開
| タイトル | 「数学基礎論」第1刷訂正 |
|---|---|
| カテゴリ | その他 |
| 概要 | 岩波「数学基礎論」第2刷で訂正されたものです。 |
| タイトル | 「数学基礎論」第2刷訂正 |
|---|---|
| カテゴリ | その他 |
| 概要 | 岩波「数学基礎論」第3刷で訂正した箇所です。 |
| タイトル | 「数学基礎論」第3刷訂正 |
|---|---|
| カテゴリ | その他 |
| 概要 | 岩波「数学基礎論」第4刷で訂正されたものです。 |
| タイトル | 集中講義資料2013 |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | 東京大学数理科学研究科「数学基礎論・数理科学続論D」の講義資料 |
| タイトル | Introduction to proof theory |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | This is a course note given in Kobe U., 2001. |
| タイトル | Introduction to ordinal analyses |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | This is a course note given in Kobe U., 2003. |
| タイトル | Ordinal Anallysis with an Introduction to Proof Theory |
|---|---|
| カテゴリ | その他 |
| 概要 | a final draft of the monograph |
| タイトル | 「数学基礎論 増補版」訂正 |
|---|---|
| カテゴリ | その他 |
| 概要 | 「数学基礎論 増補版」の訂正です |
| タイトル | Lectures in ordinal analysis |
|---|---|
| カテゴリ | 講演資料 |
| 概要 |
A lecture notes for a mini-course in Department of Mathematics, Ghent University, 13 Mar.-25 Mar. 2023. |