User blog:Moooosey/My most recent OCF

P-bot has decided that this is likely welldefined:

\begin{eqnarray*}C_{0,m}(a) = \{0,\Omega\} \\ C_{,m}(α)=\bigcup_{n<\omega}(C_{n,m}(α))\\ C_{n+1,m+1}(α)=\{\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}(α));\eta<α,o<(m+1)\}\\ C_n+1,0(α)=\{\gamma+\delta,\gamma\delta,\gamma^\delta,\phi_\gamma(\delta),(\psi_{0,0}(\eta)),\Omega_\gamma|\gamma,\delta,\eta\in(C_{n,0}(α));\eta<α\}\\ \psi_{0,m}(α)=min\{\beta\inΩ|\beta\notin(C,m(α))\}\\ \psi_{1,m}(α)=sup((C_{,m}(α)))\\ \\\end{eqnarray*}

Just posting this so that I can stop cluttering my old OCF post.