The higher sharp I: on $M_1^\#$
  We establish the descriptive set theoretic representation of the mouse $M_n^{\#}$, which is called $0^{(n+1)\#}$. This part deals with the case $n=1$. 
Yizheng Zhu
math.LO