We showed that a function is in iff it has a -graph. It follows that a set is r.e. iff it is -definable.

Advertisements

(117b Winter 2007 and 116b Winter 2008) Andrés Caicedo

We showed that a function is in iff it has a -graph. It follows that a set is r.e. iff it is -definable.

Advertisements

%d bloggers like this:

## Leave a Reply