## 116b- Lecture 5

We showed that a function is in ${\sf R}$ iff it has a $\Sigma_1$-graph. It follows that a set is r.e. iff it is $\Sigma_1$-definable.