Arithmetical Sets and Retracing Functions

DOI10.1002/MALQ.19670131302zbMATH Open0162.31501OpenAlexW2055883894MaRDI QIDQ5545951FDOQ5545951

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
• Ramsey's theorem and recursion theory
• A partial comparison of two conditions on the intersections of regressive sets
• 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)