User blog:C7X/Supremum Method for Defining an OCF

I don't know if this is well-defined or not

\(C_{0,\nu}(\alpha)=\{0\} \\ C_{n+1,\nu}(\alpha)={\gamma+\delta,\psi_\gamma(\eta):\gamma,\delta,\eta \in C_{n,\nu}(\alpha)\land\eta<\alpha\} \\ C_\nu(\alpha)=\bigcup_{i<\omega}C_{i,\nu}(\alpha) \\ \psi_\nu(\alpha)=\sup(C_\nu(\alpha) \cap \Omega_\nu)\)