We proved that a set is recursive iff it is -definable.
We showed some elementary properties of the theory , defined end-extensions, and verified that
is
-complete.
We also defined what it means for a function, or a set, to be represented in a theory.