scientific article; zbMATH DE number 3508473

MaRDI QIDQ4088797zbMATH OpenFDO

Authors Oswald Demuth

Publication date 1975

Full work available at URL https://eudml.org/doc/16711

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Functions of bounded variation, generalizations (26A45)

Cited in

(13)

• Characterization of Kurtz randomness by a differentiation theorem
• Highness properties close to PA completeness
• Pointwise complexity of the derivative of a computable function
• Demuth's path to randomness
• Randomness, computation and mathematics
• Effective genericity and differentiability
• Lowness, Randomness, and Computable Analysis
• Randomness and differentiability
• THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
• Computable Measure Theory and Algorithmic Randomness
• Computing from projections of random points
• Using almost-everywhere theorems from analysis to study randomness
• Relative randomness and continuous translation functions

This page was built for publication:

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