This is because the pieces of the sharp singularize Theta$\Theta$. Let s_n$s_n$ be the sequence of the first n$n$ cardinals above continuum and let a_n$a_n$ be the nth$n$th cardinal above continuum. Then the theory of reals with a parameter s_n$s_n$ in L_{a_n+1}(R)$L_{a_n+1}(\mathbb R)$ is a set of reals A_n$A_n$. They are Wadge cofinal in Theta$\Theta$, another words the sequence <A_n: n$\langle A_n: n<\omega\rangle$ is not in L(R)$L(\mathbb R)$ but each A_n$A_n$ is and that is why you get a singularization.
C7X
- 2k
- 1
- 9
- 31