User blog comment:Flitri/An ordinal Collapsing up to the Least weakly Mahlo Cardinal/@comment-35470197-20190409053305/@comment-25216794-20190412044353

I’m trying to say μ is the smallest limit ordinal such that for a strictly increasing sequence α, α[μ] = x