Arithmetical Sets and Retracing Functions

DOI10.1002/MALQ.19670131302MaRDI QIDQ5545951zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(4)

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

This page was built for publication: Arithmetical Sets and Retracing Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5545951)