Results 1  10
of
22
Mass problems and hyperarithmeticity
, 2006
"... A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if for all Y ∈ Q there exists X ∈ P such that X is Turing reducible to Y. A weak degree is an equivalence class of mass problems under mutual weak reducibility. Let Pw be the lattice of we ..."
Abstract

Cited by 24 (16 self)
 Add to MetaCart
A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if for all Y ∈ Q there exists X ∈ P such that X is Turing reducible to Y. A weak degree is an equivalence class of mass problems under mutual weak reducibility. Let Pw be the lattice of weak degrees of mass problems associated with nonempty Π 0 1 subsets of the Cantor space. The lattice Pw has been studied in previous publications. The purpose of this paper is to show that Pw partakes of hyperarithmeticity. We exhibit a family of specific, natural degrees in Pw which are indexed by the ordinal numbers less than ω CK 1 and which correspond to the hyperarithmetical hierarchy. Namely, for each α < ω CK 1 let hα be the weak degree of 0 (α) , the αth Turing jump of 0. If p is the weak degree of any mass problem P, let p ∗ be the weak degree
Low for random reals and positivemeasure domination
 Proceedings of the American Mathematical Society, 2007. Preprint
, 2005
"... Abstract. The low for random reals are characterized topologically, as well as in terms of domination of Turing functionals on a set of positive measure. 1. ..."
Abstract

Cited by 22 (1 self)
 Add to MetaCart
Abstract. The low for random reals are characterized topologically, as well as in terms of domination of Turing functionals on a set of positive measure. 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 almost ..."
Abstract

Cited by 17 (9 self)
 Add to MetaCart
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
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 15 (1 self)
 Add to MetaCart
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.
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.
Some fundamental issues concerning degrees of unsolvability
 In [6], 2005. Preprint
, 2007
"... Recall that RT is the upper semilattice of recursively enumerable Turing degrees. We consider two fundamental, classical, unresolved issues concerning RT. The first issue is to find a specific, natural, recursively enumerable Turing degree a ∈ RT which is> 0 and < 0 ′. The second issue is to find a ..."
Abstract

Cited by 9 (8 self)
 Add to MetaCart
Recall that RT is the upper semilattice of recursively enumerable Turing degrees. We consider two fundamental, classical, unresolved issues concerning RT. The first issue is to find a specific, natural, recursively enumerable Turing degree a ∈ RT which is> 0 and < 0 ′. The second issue is to find a “smallness property ” of an infinite, corecursively enumerable set A ⊆ ω which ensures that the Turing degree deg T (A) = a ∈ RT is> 0 and < 0 ′. In order to address these issues, we embed RT into a slightly larger degree structure, Pw, which is much better behaved. Namely, Pw is the lattice of weak degrees of mass problems associated with nonempty Π 0 1 subsets of 2 ω. We define a specific, natural embedding of RT into Pw, and we present some recent and new research results.
MASS PROBLEMS ASSOCIATED WITH EFFECTIVELY CLOSED SETS
, 2011
"... earlier draft of this paper. The study of mass problems and Muchnik degrees was originally motivated by Kolmogorov’s nonrigorous 1932 interpretation of intuitionism as a calculus of problems. The purpose of this paper is to summarize recent investigations into the lattice of Muchnik degrees of none ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
earlier draft of this paper. The study of mass problems and Muchnik degrees was originally motivated by Kolmogorov’s nonrigorous 1932 interpretation of intuitionism as a calculus of problems. The purpose of this paper is to summarize recent investigations into the lattice of Muchnik degrees of nonempty effectively closed sets in Euclidean space. Let Ew be this lattice. We show that Ew provides an elegant and useful framework for the classification of certain foundationally interesting problems which are algorithmically unsolvable. We exhibit some specific degrees in Ew which are associated with such problems. In addition, we present some structural results concerning the lattice Ew. One of these results answers a question which arises naturally from the Kolmogorov interpretation. Finally, we show how Ew can be applied in symbolic dynamics, toward the classification of tiling problems
A cappable almost everywhere dominating computably enumerable degree
 Electronic Notes in Theoretical Computer Science
, 2007
"... Abstract. We show that there exists an almost everywhere (a.e.) dominating computably enumerable (c.e.) degree which is half of a minimal pair. 1. ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
Abstract. We show that there exists an almost everywhere (a.e.) dominating computably enumerable (c.e.) degree which is half of a minimal pair. 1.
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.
COMPUTABILITY, TRACEABILITY AND BEYOND
"... This thesis is concerned with the interaction between computability and randomness. In the first part, we study the notion of traceability. This combinatorial notion has an increasing influence in the study of algorithmic randomness. We prove a separation result about the bounds on jump traceability ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This thesis is concerned with the interaction between computability and randomness. In the first part, we study the notion of traceability. This combinatorial notion has an increasing influence in the study of algorithmic randomness. We prove a separation result about the bounds on jump traceability, and show that the index set of the strongly jump traceable computably enumerable (c.e.) sets is Π0 4complete. This shows that the problem of deciding if a c.e. set is strongly jump traceable, is as hard as it can be. We define a strengthening of strong jump traceability, called hyper jump traceability, and prove some interesting results about this new class. Despite the fact that the hyper jump traceable sets have their origins in algorithmic randomness, we are able to show that they are natural examples of several Turing degree theoretic properties. For instance, we show that the hyper jump traceable sets are the first example of a lowness class with no promptly simple members. We also study the dual highness notions obtained from strong jump traceability, and explore their degree theoretic properties.