Results 1  10
of
42
Relativizing Chaitin’s halting probability
 J. Math. Log
"... Abstract. As a natural example of a 1random real, Chaitin proposed the halting probability Ω of a universal prefixfree machine. We can relativize this example by considering a universal prefixfree oracle machine U. Let Ω A U be the halting probability of U A; this gives a natural uniform way of p ..."
Abstract

Cited by 33 (9 self)
 Add to MetaCart
(Show Context)
Abstract. As a natural example of a 1random real, Chaitin proposed the halting probability Ω of a universal prefixfree machine. We can relativize this example by considering a universal prefixfree oracle machine U. Let Ω A U be the halting probability of U A; this gives a natural uniform way of producing an Arandom real for every A ∈ 2 ω. It is this operator which is our primary object of study. We can draw an analogy between the jump operator from computability theory and this Omega operator. But unlike the jump, which is invariant (up to computable permutation) under the choice of an effective enumeration of the partial computable functions, Ω A U can be vastly different for different choices of U. Even for a fixed U, there are oracles A = ∗ B such that Ω A U and Ω B U are 1random relative to each other. We prove this and many other interesting properties of Omega operators. We investigate these operators from the perspective of analysis, computability theory, and of course, algorithmic randomness. 1.
Lowness notions, measure and domination
, 2008
"... Abstract. We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL0 (but not in RCA0) of the equivalence of various Lebesgue measure regularity statements introduced by Dobrinen and Simpson. This work also ..."
Abstract

Cited by 27 (5 self)
 Add to MetaCart
(Show Context)
Abstract. We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL0 (but not in RCA0) of the equivalence of various Lebesgue measure regularity statements introduced by Dobrinen and Simpson. This work also allows us to prove that low for weak 2randomness is the same as low for MartinLöf randomness (a result independently obtained by Nies). Using the same technique, we show that ≤LR implies ≤LK, generalizing the fact that low for MartinLöf randomness implies low for K. 1.
Almost everywhere domination and superhighness
 Mathematical Logic Quarterly
"... Let ω denote the set of natural numbers. For functions f, g: ω → ω, we say that f is dominated by g if f(n) < g(n) for all but finitely many n ∈ ω. We consider the standard “fair coin ” probability measure on the space 2 ω of infinite sequences of 0’s and 1’s. A Turing oracle B is said to be almo ..."
Abstract

Cited by 26 (9 self)
 Add to MetaCart
(Show Context)
Let ω denote the set of natural numbers. For functions f, g: ω → ω, we say that f is dominated by g if f(n) < g(n) for all but finitely many n ∈ ω. We consider the standard “fair coin ” probability measure on the space 2 ω of infinite sequences of 0’s and 1’s. A Turing oracle B is said to be almost everywhere dominating if, for measure one many X ∈ 2 ω, each function which is Turing computable from X is dominated by some function which is Turing computable from B. Dobrinen and Simpson have shown that the almost everywhere domination property and some of its variant properties are closely related to the reverse mathematics of measure theory. In this paper we exposit some recent results of KjosHanssen, KjosHanssen/Miller/Solomon, and others concerning LRreducibility and almost everywhere domination. We also prove the following new result: If B is almost everywhere dominating, then B is superhigh, i.e., 0 ′′ is
Benign cost functions and lowness properties
"... Abstract. We show that the class of strongly jumptraceable c.e. sets can be characterised as those which have sufficiently slow enumerations so they obey a class of wellbehaved cost function, called benign. This characterisation implies the containment of the class of strongly jumptraceable c.e. ..."
Abstract

Cited by 17 (10 self)
 Add to MetaCart
(Show Context)
Abstract. We show that the class of strongly jumptraceable c.e. sets can be characterised as those which have sufficiently slow enumerations so they obey a class of wellbehaved cost function, called benign. This characterisation implies the containment of the class of strongly jumptraceable c.e. Turing degrees in a number of lowness classes, in particular the classes of the degrees which lie below incomplete random degrees, indeed all LRhard random degrees, and all ωc.e. random degrees. The last result implies recent results of Diamondstone’s and Ng’s regarding cupping with supwerlow c.e. degrees and thus gives a use of algorithmic randomness in the study of the c.e. Turing degrees. 1.
DEMUTH RANDOMNESS AND COMPUTATIONAL COMPLEXITY
"... Demuth tests generalize MartinLöf tests (Gm)m∈N in that one can exchange the mth component for a computably bounded number of times. A set Z ⊆ N fails a Demuth test if Z is in infinitely many final versions of the Gm. If we only allow Demuth tests such that Gm ⊇ Gm+1 for each m, we have weak Demu ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
Demuth tests generalize MartinLöf tests (Gm)m∈N in that one can exchange the mth component for a computably bounded number of times. A set Z ⊆ N fails a Demuth test if Z is in infinitely many final versions of the Gm. If we only allow Demuth tests such that Gm ⊇ Gm+1 for each m, we have weak Demuth randomness. We show that a weakly Demuth random set can be high, yet not superhigh. Next, any c.e. set Turing below a Demuth random set is strongly jumptraceable. We also prove a basis theorem for nonempty Π 0 1 classes P. It extends the JockuschSoare basis theorem that some member of P is computably dominated. We use the result to show that some weakly 2random set does not compute a 2fixed point free function.
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 11 (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.
and A Nies. Randomness in effective descriptive set theory
 J. London. Math. Soc
"... ..."
(Show Context)
CALCULUS OF COST FUNCTIONS
"... Abstract. We study algebraic properties of cost functions. We give an application: building sets close to being Turing complete. 1. ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
(Show Context)
Abstract. We study algebraic properties of cost functions. We give an application: building sets close to being Turing complete. 1.
Eliminating concepts
 Proceedings of the IMS workshop on computational prospects of infinity
, 2008
"... Four classes of sets have been introduced independently by various researchers: low for K, low for MLrandomness, basis for MLrandomness and Ktrivial. They are all equal. This survey serves as an introduction to these coincidence results, obtained in [24] and [10]. The focus is on providing backdo ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
(Show Context)
Four classes of sets have been introduced independently by various researchers: low for K, low for MLrandomness, basis for MLrandomness and Ktrivial. They are all equal. This survey serves as an introduction to these coincidence results, obtained in [24] and [10]. The focus is on providing backdoor access to the proofs. 1. Outline of the results All sets will be subsets of N unless otherwise stated. K(x) denotes the prefix free complexity of a string x. A set A is Ktrivial if, within a constant, each initial segment of A has minimal prefix free complexity. That is, there is c ∈ N such that ∀n K(A ↾ n) ≤ K(0 n) + c. This class was introduced by Chaitin [5] and further studied by Solovay (unpublished). Note that the particular effective epresentation of a number n by a string (unary here) is irrelevant, since up to a constant K(n) is independent from the representation. A is low for MartinLöf randomness if each MartinLöf random set is already MartinLöf random relative to A. This class was defined in Zambella [28], and studied by Kučera and Terwijn [17]. In this survey we will see that the two classes are equivalent [24]. Further concepts have been introduced: to be a basis for MLrandomness (Kučera [16]), and to be low for K (Muchnik jr, in a seminar at Moscow State, 1999). They will also be eliminated, by showing equivalence with Ktriviality. All