Results 1 
4 of
4
Mass problems and almost everywhere domination
 Mathematical Logic Quarterly
, 2007
"... We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the set of reals which are almost everywhere dominating and MartinLöf random, respectively. Let b1, b2, b3 be the degrees of unsolvability of the mass problems associated with the sets AED ..."
Abstract

Cited by 10 (7 self)
 Add to MetaCart
We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the set of reals which are almost everywhere dominating and MartinLöf random, respectively. Let b1, b2, b3 be the degrees of unsolvability of the mass problems associated with the sets AED, MLR×AED, MLR∩AED respectively. Let Pw be the lattice of degrees of unsolvability of mass problems associated with nonempty Π 0 1 subsets of 2 ω. Let 1 and 0 be the top and bottom elements of Pw. We show that inf(b1,1) and inf(b2,1) and inf(b3,1) belong to Pw and that 0 < inf(b1,1) < inf(b2,1) < inf(b3,1) < 1. Under the natural embedding of the recursively enumerable Turing degrees into Pw, we show that inf(b1,1) and inf(b3,1) but not inf(b2,1) are comparable with some recursively enumerable Turing degrees other than 0 and 0 ′. In order to make this paper more selfcontained, we exposit the proofs of some recent theorems due to Hirschfeldt, Miller, Nies, and Stephan.
Mass problems and measuretheoretic regularity
, 2009
"... Research supported by NSF grants DMS0600823 and DMS0652637. ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Research supported by NSF grants DMS0600823 and DMS0652637.
Jump inversions inside effectively closed sets and applications to randomness
 J. Symbolic Logic
"... Abstract. We study inversions of the jump operator on Π0 1 classes, combined with certain basis theorems. These jump inversions have implications for the study of the jump operator on the random degrees—for various notions of randomness. For example, we characterize the jumps of the weakly 2random ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. We study inversions of the jump operator on Π0 1 classes, combined with certain basis theorems. These jump inversions have implications for the study of the jump operator on the random degrees—for various notions of randomness. For example, we characterize the jumps of the weakly 2random sets which are not 2random, and the jumps of the weakly 1random relative to 0 ′ sets which are not 2random. Both of the classes coincide with the degrees above 0 ′ which are not 0 ′dominated. A further application is the complete solution of [Nie09, Problem 3.6.9]: one direction of van Lambalgen’s theorem holds for weak 2randomness, while the other fails. Finally we discuss various techniques for coding information into incomplete randoms. Using these techniques we give a negative answer to [Nie09, Problem 8.2.14]: not all weakly 2random sets are array computable. In fact, given any oracle X, there is a weakly 2random which is not array computable relative to X. This contrasts with the fact that all 2random sets are array computable. 1.
CHARACTERIZING LOWNESS FOR DEMUTH RANDOMNESS
"... Abstract. We show the existence of noncomputable oracles which are low for Demuth randomness, answering a question in [15] (also Problem 5.5.19 in [35]). We fully characterize lowness for Demuth randomness using an appropriate notion of traceability. Central to this characterization is a partial rel ..."
Abstract
 Add to MetaCart
Abstract. We show the existence of noncomputable oracles which are low for Demuth randomness, answering a question in [15] (also Problem 5.5.19 in [35]). We fully characterize lowness for Demuth randomness using an appropriate notion of traceability. Central to this characterization is a partial relativization of Demuth randomness, which may be more natural than the fully relativized version. We also show that an oracle is low for weak Demuth randomness if and only if it is computable. 1.