いうわけでφとの形式的な関係性を重視して1.および2.の適用を優先することにしました。これで決定的になったはずです。完成したら見てみたいです。ちなみにBuchholzのψ関数は拡張Buchholz関数(EBF)という名前で既に知られていて、英語版コミュニティのスタンダードなOCFの1つです。ψ関数の記事の英語版へのリンクから閲覧可能です。あと、ブーフホルツのΨ関数を拡張する予定です。Buchholzの順序数崩壊関数に基づいた表記そのものはBuchholzによるオリジナルのもの既にψ関数の記事に書いてありますよ。ブーフホルツのΨ関数に基づきます。集合Tと関係>を以下のように定義する。0と空集合はTの要素である。A、BがTの要素なら(A),[A]_B,ABはTの要素である。Tの要素を共終数に移す関数cfを以下のように定義する。