RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS
From MaRDI portal
Publication:4295226
DOI10.1002/malq.19920380112zbMath0798.03042MaRDI QIDQ4295226
Marius Zimand, Gabriel I. Istrate, Cristian S. Calude
Publication date: 8 June 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19920380112
second Baire category; topological size; Blum-complexity; honesty class; recursively meagre; recursively nowhere dense; speedable functions
03D15: Complexity of computation (including implicit computational complexity)
Related Items
Effective category and measure in abstract complexity theory, On recursive bounds for the exceptional values in speed-up