User blog comment:Googleaarex/A new, really strong OCF definition?/@comment-28606698-20170801202840

If I understand you correctly we have

$$D[\alpha]=\aleph_{1+\alpha}$$

$$\psi_{D[0]}(\alpha)=\varepsilon_\alpha$$

$$\psi_{D[\alpha+1]}(\beta)=\varepsilon_{\Omega_{\alpha+1}+1+\beta}$$

but how do you express for example $$\varphi(3,0)$$ ?