P-bot has decided that this is likely welldefined: (Note : the whole of the LaTeX may not be visible)
\begin{eqnarray*}C_{0,m}(\alpha) = \{0,\Omega\} \\ C_{,m}(\alpha)=\bigcup_{n<\omega}(C_{n,m}(\alpha))\\ C_{n+1,m+1}(\alpha)=\{\gamma+\delta,\gamma\delta,\gamma^\delta,\phi_\gamma(\delta),(\psi_{0,m+1}(η)),(\psi_{1,o}(\gamma)),(\psi_{0,o}(\gamma)),\Omega_\gamma| \gamma,\delta,\eta\in(C_{n,m+1}(\alpha));\eta<\alpha,o<(m+1)\}\\ C_{n+1,0}(\alpha)=\{\gamma+\delta,\gamma\delta,\gamma^\delta,\phi_\gamma(\delta),(\psi_{0,0}(\eta)),\Omega_\gamma|\gamma,\delta,\eta\in(C_{n,0}(\alpha));\eta<\alpha\}\\ \psi_{0,m}(\alpha)=min\{\beta\in\Omega|\beta\notin(C,m(\alpha))\}\\ \psi_{1,m}(\alpha)=sup((C_{,m}(\alpha)))\\ \\\end{eqnarray*}
Just posting this so that I can stop cluttering my old OCF post.