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

I now have defined both T and an algorithm to determine the elements of T, the function o for the order is given by the rules specified in section 3. What I don’t understand is how o_1 and o_2 exactly work.