«
»

116b- Lecture 17

We proved the Rice, Shapiro, McNaughton theorem characterizing \Sigma_1 index sets.

We also showed that there incomparable Turing degrees below {\bf 0}'.

This entry was posted on March 4, 2008 at 2:29 pm and is filed under 116b. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

Leave a comment