Comparing $∏^0_2$ sets of the Baire space by means of general recursive operators
Tom 138 / 1991
Fundamenta Mathematicae 138 (1991), 1-12
DOI: 10.4064/fm-138-1-1-12