Yates, C. E. M. A general framework for simple \(\Delta^0_2\) and \(\Sigma^0_1\) priority arguments. (English) Zbl 0369.02018 Proc. int. Congr. Math., Vancouver 1974, Vol. 1, 269-273 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03D30 Other degrees and reducibilities in computability and recursion theory 03D25 Recursively (computably) enumerable sets and degrees PDF BibTeX XML OpenURL