The higher sharp II: on $M_2^{\#}$

Abstract

We establish the descriptive set theoretic representation of the mouse $M_n^{\#}$, which is called $0^{(n+1)\#}$. This part partially deals with the case $n=2$ by proving the many-one equivalence of $M_2^{\#}$ and the theory of $L_{{\mathbf{\delta }}_3^1}[T_3]$ with the higher level analogs of $L$-indiscernibles.

arXiv commentPart of a series starting with 1604.00481