Arithmetical Measure
From MaRDI portal
Publication:4393174
DOI10.1002/malq.19980440211zbMath0898.03017MaRDI QIDQ4393174
Leen Torenvliet, Sebastiaan A. Terwijn
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
Martin-Löf randomness; recursive randomness; measure zero set; reducibilities; resource bounded measures; arithmetical measure; random infinite sequence
68Q30: Algorithmic information theory (Kolmogorov complexity, etc.)
03D30: Other degrees and reducibilities in computability and recursion theory
28A99: Classical measure theory
03D55: Hierarchies of computability and definability
Related Items
Cites Work