The higher sharp III: An EM blueprint of $0^{3\#}$ and the level-4 Kechris-Martin
We establish the descriptive set theoretic representation of the mouse $M_n^{\#}$, which is called $0^{(n+1)\#}$. This part partially finishes the case $n=2$ by establishing the higher level analog of the EM blueprint definition of $0^{\#}$. From this, we prove the level-4 Kechris-Martin Theorem and deal with the case $n=3$.
math.LO↗