User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-78.23.226.78-20130718202143/@comment-5529393-20130719035901

Thank you for checking my work! However, I'm not sure how to add $$\alpha \in C(\alpha, \beta)$$ in the definition of $$M(\alpha)$$, since it is $$\beta$$ we are deciding whether or not to include in $$M(\alpha)$$  - $$\alpha$$ is a parameter of $$M(\alpha)$$, and we want it to be defined for all $$\alpha$$.

I wondered in the definition of $$\Psi$$ whether or not the condition $$\beta \in C(\beta, \gamma)$$ should be included, but Rathjen replaces it with $$\pi \in C(\beta, \gamma)$$, for reasons that are not clear to me.