>>536

追加
http://tenasaku.com/academia/notes/20040301.pdf
記述集合論ノート
藤田 博司
2004 年 2 月 17 日〜18 日, 神戸大学
神戸大学大学院自然科学研究科において, 2004 年 2 月 17 日と 18 日に記述集合論の
チュートリアルをおこないました. これは, そのとき配付したレジュメをもとに, 聴講
者に指摘された修正点や, 話してみて初めて思いついた改善点, 話したかったけど準備
が間に合わなかった追加の話題などを盛り込んだ修正版レクチャーノートです.

1 二階算術の言語と構造
二階算術というのは大ざっぱに言うと ω と ω^ω にかんする (形式化された)
理論のことだ.