Cichon’s maximum without large cardinals
On Infinite Time Turing Machine and and its related ordinals.
弱Paris-Harrington原理とDicksonの補題
限定算術上の強制法の基礎
Rabinの定理と無限木オートマトン