とりあえず、ラティエンの小プサイ関数と同じレベルの関数を作るか。その後に M_2 を崩壊させる方法を探そう。
大予想: 増大関数の選択によるズレは特異基数の崩壊において吸収される。
(0,0)(1,1)(2,2)(3,3) を ψ_3(0)+ψ_2(ψ_3(0)+ψ_1(ψ_3(0)+ψ_2(ψ_3(0)))+ψ_0(ψ_3(0)+ψ_2(ψ_3(0)+ψ_1(ψ_3(0)+ψ_2(ψ_3(0)))) に変換するような写像を使って楽にペアノ数列システムの停止性を証明できないかな。
On の上の club 集合を取り扱う必要が出てきている。 pCIC を使うか、再帰的類似物を使うか……