Calculus of cost functions

DOI10.1007/978-3-319-43669-2_12MaRDI QIDQ6599292zbMATH OpenFDO

Authors André Nies

Publication date 6 September 2024

Full work available at URL https://doi.org/10.1007/978-3-319-43669-2_12

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Constructive and recursive analysis (03F60)

Recommendations

• Benign cost functions and lowness properties
• K-Trivial Closed Sets and Continuous Functions
• Computing from projections of random points
• scientific article; zbMATH DE number 7663176
• K-Triviality of Closed Sets and Continuous Functions

Cites work

• K-triviality in computable metric spaces
• Algorithmic randomness and complexity.
• Benign cost functions and lowness properties
• Characterizing the strongly jump-traceable sets via randomness
• Coherent randomness tests and computing the \(K\)-trivial sets
• Computability and randomness
• Computuing K-trivial sets by incomplete random sets
• Demuth randomness and computational complexity
• Density, forcing, and the covering problem
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 2063218 (Why is no real title available?)
• scientific article; zbMATH DE number 1542867 (Why is no real title available?)
• scientific article; zbMATH DE number 3995657 (Why is no real title available?)
• Interactions of computability and randomness
• Low upper bounds of ideals
• Lowness for the class of random sets
• Lowness properties and approximations of the jump
• Lowness properties and randomness
• Solovay functions and their applications in algorithmic randomness
• Strong jump-traceability and Demuth randomness
• Using random sets as oracles

Cited in

(1)

• Martin-Löf reducibility and cost functions

This page was built for publication: Calculus of cost functions

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