RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS

DOI10.1002/MALQ.19920380112MaRDI QIDQ4295226zbMATH OpenOpenAlexFDO

Authors Marius Zimand, Cristian S. Calude, Gabriel Istrate

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

Blum-complexityhonesty classrecursively meagrerecursively nowhere densesecond Baire categoryspeedable functionstopological size

Mathematics Subject Classification ID

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

Recommendations

• Real recursive functions and Baire classes
• A classification of Baire-1 functions
• scientific article; zbMATH DE number 3863189
• scientific article; zbMATH DE number 3941519
• scientific article; zbMATH DE number 4033742
• scientific article; zbMATH DE number 1889701
• scientific article; zbMATH DE number 5158938
• scientific article; zbMATH DE number 2165543
• Recursive characterization of computable real-valued functions and relations
• Decomposing Borel sets and functions and the structure of Baire class 1 functions

Cited in

(7)

• Relativized topological size of sets of partial recursive functions
• On recursive bounds for the exceptional values in speed-up
• Density and Baire category in recursive topology
• A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions
• scientific article; zbMATH DE number 23839 (Why is no real title available?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4295226)