User blog comment:P進大好きbot/Cheatsheet on Properties of OCFs/@comment-32697988-20191201105526

1. In the nest-free expansions table of Buchholz's OCF, what is meant by \(v\neq\{0,\omega\}\)? Do you mean \(v\notin\{0,\omega\}\)?

2. In the nest-free expansions table of Buchholz's OCF and extended Buchholz's OCF, what does \(\Omega_v\) mean when \(v=0\)?

3. In the nest-free expansions table of Buchholz's OCF and extended Buchholz's OCF, which rule should be applied to expand \(\psi_0(\psi_1(0))\)?

4. In the non-standard expressions table of Rathjen's OCF based on a weakly Mahlo cardinal, why does \(\psi_\Omega(\Omega)=\psi_\Omega(\Gamma_0)\)?

5. In the nest-free expansions table of Rathjen's OCF based on a weakly Mahlo cardinal, which rule should be applied to expand \(\psi_{\chi_0(0)}(\chi_0(0))\)?