## 116b- Lecture 6

We proved that a set is recursive iff it is $\Delta_1$-definable.

We showed some elementary properties of the theory ${\sf Q}$, defined end-extensions, and verified that ${\sf Q}$ is $\Sigma_1$-complete.

We also defined what it means for a function, or a set, to be represented in a theory.