Comparing $∏^0_2$ sets of the Baire space by means of general recursive operators
From MaRDI portal
Publication:5289033
DOI10.4064/fm-138-1-1-12zbMath0772.03021MaRDI QIDQ5289033
Publication date: 27 September 1993
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211867
54E52: Baire category, Baire spaces
06A12: Semilattices
03D45: Theory of numerations, effectively presented structures