Text this: Sets, models and recursion theory :