User blog comment:Alejandro Magno/My ordinal is smaller Remake/@comment-10429372-20141013161913/@comment-10429372-20141013162931

The definition of the ordinal is :

The largest ordinal that is member of w1CK[n] and smaller than psi(psi_chi(M_M_w)(0)). How large the ordinal is, I don't know, but before you post a new comment you should prove that your ordinal is smaller.