1 problem

Let $P_{\alpha}$ be the ramified analytical hierarchy, with fixed point $P_{\beta_{0}}=P_{\beta_{0}+1}$, and let $\underline{P}_{\beta_{0}}$ denote the corresponding full structure…