User blog comment:P進大好きbot/What is the greatest ordinal notation now?/@comment-1605058-20180623095923/@comment-35470197-20180623232554

Tanks very much!! Wow, that is great!

I just heard that there is Kreisel's critical example, but I did not know precisely what it it. It is very interesting. Although T itself does not prove to prove that the Kreisel's ordinal is equal to \(\omega\), it is actually \(\omega\) under the assumption of \(\textrm{Con}(T)\).