RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS

DOI10.1002/malq.19920380112zbMath0798.03042OpenAlexW2092329528MaRDI 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

zbMATH Keywords

second Baire categorytopological sizeBlum-complexityhonesty classrecursively meagrerecursively nowhere densespeedable functions

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15)

Related Items (3)

On recursive bounds for the exceptional values in speed-up ⋮ Effective category and measure in abstract complexity theory ⋮ Effective category and measure in abstract complexity theory

This page was built for publication: RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS