Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
add comment

1 Answer

The result is indeed Solovay's Basis Theorem.

It is a consequence of Moschovakis's Coding Lemma, and sometimes it is referred to as (a version of) the reflection theorem (for example, in section 8 of Steel's Handbook article). Perhaps the optimal reference (it is self-contained, and easily accessible) is Section 2.4 of

Peter Koellner, and W. Hugh Woodin. Large cardinals from determinacy. In Handbook of set theory. Vols. 1, 2, 3, 1951–2119, Springer, Dordrecht, 2010.

I do not think it appears explicitly in a paper by Solovay. It should date back to 1976 at the latest, which is when Kechris and Solovay observed that not all $\Pi^2_1$ sets can be uniformized if $V=L(\mathbb R)$ and choice fails (see section 30 in Kanamori's book).

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.