On Infinite Time Turing Machine and and its related ordinals.
弱Paris-Harrington原理とDicksonの補題
限定算術上の強制法の基礎
Rabinの定理と無限木オートマトン
一階算術・二階算術とラムゼイの定理