
handle: 11245/1.153541
AbstractWe develop arithmetical measure theory along the lines of Lutz [10]. This yields the same notion of measure 0 set as considered before by Martin‐Löf, Schnorr, and others. We prove that the class of sets constructible by r.e.‐constructors, a direct analogue of the classes Lutz devised his resource bounded measures for in [10], is not equal to RE, the class of r.e. sets, and we locate this class exactly in terms of the common recursion‐theoretic reducibilities below K. We note that the class of sets that bounded truth‐table reduce to K has r.e.‐measure 0, and show that this cannot be improved to truth‐table. For Δ2‐measure the borderline between measure zero and measure nonzero lies between weak truth‐table reducibility and Turing reducibility to K. It follows that there exists a Martin‐Löf random set that is tt‐reducible to K, and that no such set is btt‐reducible to K. In fact, by a result of Kautz, a much more general result holds.
arithmetical measure, recursive randomness, measure zero set, Martin-Löf randomness, Classical measure theory, Hierarchies of computability and definability, reducibilities, Algorithmic information theory (Kolmogorov complexity, etc.), random infinite sequence, resource bounded measures, Other degrees and reducibilities in computability and recursion theory
arithmetical measure, recursive randomness, measure zero set, Martin-Löf randomness, Classical measure theory, Hierarchies of computability and definability, reducibilities, Algorithmic information theory (Kolmogorov complexity, etc.), random infinite sequence, resource bounded measures, Other degrees and reducibilities in computability and recursion theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
