Countable retracing functions and Π₂⁰predicates

Publisher Website

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

No abstract available

Keywords

Cited by 25 articles