Arithmetical Measure

DOI10.1002/MALQ.19980440211MaRDI QIDQ4393174zbMATH OpenOpenAlexFDO

Authors Sebastiaan A. Terwijn, Leen Torenvliet

Publication date 1 November 1998

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19980440211

zbMATH Keywords

arithmetical measureMartin-Löf randomnessmeasure zero setrandom infinite sequencerecursive randomnessreducibilitiesresource bounded measures

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55) Classical measure theory (28A99) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30)

Recommendations

• An arithmetic metric
• scientific article; zbMATH DE number 4017240
• scientific article; zbMATH DE number 176711
• Measure theory and higher order arithmetic
• Elementary numerosity and measures
• scientific article; zbMATH DE number 3980490

Cites work

• scientific article; zbMATH DE number 107774 (Why is no real title available?)
• Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeitstheorie. (Randomness and probability. An algorithmic foundation of probability theory)

Cited in

(6)

• Weakly useful sequences
• Measure-theoretic applications of higher Demuth's theorem
• Arithmetic complexity via effective names for random sequences
• scientific article; zbMATH DE number 4053595 (Why is no real title available?)
• scientific article; zbMATH DE number 3559552 (Why is no real title available?)
• A minimal pair in the generic degrees

This page was built for publication: Arithmetical Measure

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