弱Paris-Harrington原理とDicksonの補題
限定算術上の強制法の基礎
Rabinの定理と無限木オートマトン
一階算術・二階算術とラムゼイの定理
RCA_0におけるハーリントンの定理とπ^1_ 1式の証明の長さの比較