Computability Theory in Admissible Domains Edward Sciore A. Tang 95-104 conf/stoc/STOC10 1978 STOC db/conf/stoc/stoc78.html#ScioreT78