User:Rpakr/Nothing OCF Analysis

Nothing OCF is an OCF by User:CatIsFluffy.

Definition
\(C_0(\pi,\delta)=\{0\}\cup\pi\)

\(C_{n+1}(\pi,\delta)=C_n(\pi,\delta)\cup\{\psi_\alpha(\lambda),\Omega_\gamma|\alpha,\gamma,\lambda\in C_n(\pi,\delta)\wedge\lambda<\delta\wedge\gamma\ge 1\}\)

\(C(\pi,\delta)=\bigcup_{n\in\omega}C_n(\pi,\delta)\)

\(\psi_\gamma(\delta)=\min\{\pi|\sup (C(\pi,\delta)\cap\gamma)=\pi\}\)