UN0CFのψC(a,b)の動きの再現に失敗しました。Y+1の形でないXに対するℐ[X]の動きがおかしいです。ついでに崩壊しないℐ関数数を定義しました(II.js参照)。予想はRathjenのψ関数と急増加関数でfψΩ(ψχω(0)(0))+1(10100)以上fψΩ(ψχM(0)(0))+1(10100)以下です。 p進大好きbot氏の拡張Buchholz OCFに伴う順序数表記を参考にした「NotCollapsing - I」を拡張しました。