Sets, models and recursion theory. - Crossley, John N. (Studies in logic and the foundations of mathematics., 1967)