User blog:Ubersketch/Collapsing the first 1-dinal

\begin{eqnarray*} C_0(\alpha) &=& \{0, 1, \omega, \Omega, \overline{\Omega}\}\\ C_{n+1}(\alpha) &=& \{\gamma + \delta, \gamma\delta, \gamma^{\delta}, \overline{\psi}(\eta) | \gamma, \delta, \eta \in C_n (\alpha); \eta < \alpha\} \\ C(\alpha) &=& \bigcup_{n < \omega} C_n (\alpha) \\ \overline{\psi}(\alpha) &=& \min\{\beta \in \overline{\Omega}|\beta \notin C(\alpha)\} \\ \end{eqnarray*}