## 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).

### MSC:

 03D30 Other degrees and reducibilities in computability and recursion theory 03D25 Recursively (computably) enumerable sets and degrees