Arithmetical Sets and Retracing Functions

DOI10.1002/malq.19670131302zbMath0162.31501OpenAlexW2055883894MaRDI QIDQ5545951

C. E. M. Yates

Publication date: 1967

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19670131302

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

Uniformly introreducible sets ⋮ Π₀¹-classes and Rado's selection principle ⋮ Ramsey's theorem and recursion theory ⋮ A partial comparison of two conditions on the intersections of regressive sets