Countable retracing functions and Π₂⁰predicates

• 1 July 1969
• journal article
• Published by Mathematical Sciences Publishers in Pacific Journal of Mathematics
• Vol. 30  (1) , 67-93
• https://doi.org/10.2140/pjm.1969.30.67

Abstract

Keywords

• PREDICATES
• COUNTABLE RETRACING FUNCTIONS
• RETRACING FUNCTIONS AND