Topological Size of Sets of Partial Recursive Functions
From MaRDI portal
Publication:3958443
DOI10.1002/malq.19820282707zbMath0495.03022MaRDI QIDQ3958443
Publication date: 1982
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19820282707
algebraic numbers; Baire category theorem; recursive reals; complexity class; second Baire category; measured set
28A05: Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets
54E52: Baire category, Baire spaces
03F60: Constructive and recursive analysis
03D15: Complexity of computation (including implicit computational complexity)
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
Effective category and measure in abstract complexity theory, Effective category and measure in abstract complexity theory, If not empty, NP-P is topologically large, Determining and stationary sets for some classes of partial recursive functions, Relativized topological size of sets of partial recursive functions