Comparing $∏^0_2$ sets of the Baire space by means of general recursive operators

DOI10.4064/fm-138-1-1-12zbMath0772.03021MaRDI QIDQ5289033

Andrea Sorbi

Publication date: 27 September 1993

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211867

zbMATH Keywords

Baire space; recursive operator; \(\Pi^ 0_ 2\) sets of functions

Mathematics Subject Classification ID

54E52: Baire category, Baire spaces

06A12: Semilattices

03D45: Theory of numerations, effectively presented structures