いま、巨大数の有識者のひとりが、ちらほらと「みくみく順序数」を解読してくれてるようで、仮に「well-defined」であったとしての、かつ、大雑把な見立ての感想だと思われるが、私の想定より大きい可能性がある。

私の予想では

(9,3) = ε_0
(3,5,3) = φ(ω,0)
(3,5,3,5,3) > 大ヴェブレン順序数

で、大ヴェブレン順序数を超えると私が信じている(3,5,3,5,3)は極限の...

(3,5,3)
(3,7,3)
(3,11,3)
: ∞
(3,ω,3)

に対してかなり初期なので...　目標は「バッハマンハワード順序数」なのだけれど...　まあ、まずは「well-defined」かどうかという問題があるのでね...