巨大な可算順序数に興味があります。
＞たろう氏
>>571のテキストについてですが、とりあえずC0+Ωまでは理解しましたが、
次の多変数C1がわかりません。疑問点は定義の３行目以降についてです。
deg a ＜ [Ｘ, b+1, □]とかdeg f = [Ｘ, b+1, □]はどういう意味でしょう？
それと◇など新しい記号が出てきますがそれも不明です。
なんか急に複雑さが増したように思いますが・・・
あと、できればいくつか具体例を出して説明していただけますか？