116b- Lecture 6

January 24, 2008

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

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

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