I'm finishingg up my bibliography and I'm looking for a reference for the statement that, working in $L(\R)$, the $\Delta^2_1$ sets form a basis for the $\Sigma^2_1$ predicates. I believe that it is due to Solovay.
Basis theorem (due to Solovay?)
Daniel Walker
- 61
- 1