Skip to main content
MathOverflow

Return to Question

Added relevant tag
Link
edit approved Mar 1, 2016 at 12:47
Tadashi
edit approved Mar 1, 2016 at 12:47
Tadashi
  • 1.6k
  • 3
  • 23
  • 29
Replace \R to \mathbb{R}
Source Link
edit approved Mar 1, 2016 at 9:07
Hanul Jeon
edit approved Mar 1, 2016 at 9:07
Hanul Jeon
  • 3k
  • 2
  • 14
  • 44

I'm finishinggfinishing up my bibliography and I'm looking for a reference for the statement that, working in $L(\R)$$L(\mathbb{R})$, the $\Delta^2_1$ sets form a basis for the $\Sigma^2_1$ predicates. I believe that it is due to Solovay.

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.

I'm finishing up my bibliography and I'm looking for a reference for the statement that, working in $L(\mathbb{R})$, the $\Delta^2_1$ sets form a basis for the $\Sigma^2_1$ predicates. I believe that it is due to Solovay.

Source Link
Daniel Walker
Daniel Walker
  • 61
  • 1

Basis theorem (due to Solovay?)

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.