Results 1 
6 of
6
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 10 (6 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.
Interactions of Computability and Randomness
"... We survey results relating the computability and randomness aspects of sets of natural numbers. Each aspect corresponds to several mathematical properties. Properties originally defined in very different ways are shown to coincide. For instance, lowness for MLrandomness is equivalent to Ktrivialit ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
(Show Context)
We survey results relating the computability and randomness aspects of sets of natural numbers. Each aspect corresponds to several mathematical properties. Properties originally defined in very different ways are shown to coincide. For instance, lowness for MLrandomness is equivalent to Ktriviality. We include some interactions of randomness with computable analysis. Mathematics Subject Classification (2010). 03D15, 03D32. Keywords. Algorithmic randomness, lowness property, Ktriviality, cost function.
STRONG JUMPTRACEABILITY II: KTRIVIALITY
, 2010
"... We show that every strongly jumptraceable set is Ktrivial. Unlike other results, we do not assume that the sets in question are computably enumerable. ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
(Show Context)
We show that every strongly jumptraceable set is Ktrivial. Unlike other results, we do not assume that the sets in question are computably enumerable.
Computability and randomness: Five questions
"... 1 How were you initially drawn to the study of computation and randomness? My first contact with the area was in 1996 when I still worked at the University of Chicago. Back then, my main interest was in structures from computability theory, such as the Turing degrees of computably enumerable sets. I ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
1 How were you initially drawn to the study of computation and randomness? My first contact with the area was in 1996 when I still worked at the University of Chicago. Back then, my main interest was in structures from computability theory, such as the Turing degrees of computably enumerable sets. I analyzed them via coding with firstorder formulas. During a visit to New Zealand, Cris Calude in Auckland introduced me to algorithmic information theory, a subject on which he had just finished a book [3]. We wrote a paper [4] showing that a set truthtable above the halting problem is not MartinLöf random (in fact the proof showed that it is not even weakly random [33, 4.3.9]). I also learned about Solovay reducibility, which is a way to gauge the relative randomness of real numbers with a computably enumerable left cut. These topics, and many more, were studied either in Chaitin’s work [6] or in Solovay’s visionary, but never published, manuscript [35], of which Cris possessed a copy. l In April 2000 I returned to New Zealand. I worked with Rod Downey and Denis Hirschfeldt on the Solovay degrees of real numbers with computably enumerable left cut. We proved that this degree structure is dense, and that the top degree, the degree of Chaitin’s Ω, cannot be split into two lesser degrees [9]. During this visit I learned about Ktriviality, a notion formalizing the intuitive idea of a set of natural numbers that is far from random. To understand Ktriviality, we first need a bit of background. Sets of natural numbers (simply called sets below) are a main topic of study in computability theory. Sets can be “identified ” with infinite sequences of bits. Given a set A, the bit in position n has value 1 if n is in A, otherwise its value is 0. A string is a finite sequence of bits, such as 11001110110. Let K(x) denote the length of a shortest prefixfree description of a string x (sometimes called the prefixfree Kolmogorov complexity of x even though Kolmogorov didn’t introduce it). We say that K(x) is the prefixfree complexity of x. Chaitin [6] defined a set A ⊆ N to be Ktrivial if each initial segment of A has prefixfree complexity no greater than the prefixfree complexity of its length. That is, there is b ∈ N such that, for each n,
CHARACTERIZING THE STRONGLY JUMPTRACEABLE SETS VIA RANDOMNESS
"... Abstract. We show that if a set A is computable from every superlow 1random set, then A is strongly jumptraceable. Together with a result from [9], this theorem shows that the computably enumerable jumptraceable sets are exactly the computably enumerable sets computable from every superlow 1rand ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Abstract. We show that if a set A is computable from every superlow 1random set, then A is strongly jumptraceable. Together with a result from [9], this theorem shows that the computably enumerable jumptraceable sets are exactly the computably enumerable sets computable from every superlow 1random set. We also prove the analogous result for superhighness: a c.e. set is strongly jumptraceable if and only if it is computable from any superhigh random set. Finally, we show that for each cost function c with the limit condition there is a random ∆ 0 2 set Y such that each c.e. set A �T Y obeys c. 1.
PSEUDOJUMP INVERSION AND SJTHARD SETS
, 2011
"... Abstract. There are noncomputable c.e. sets, computable from every SJThard c.e. set. This yields a natural pseudojump operator, increasing on all sets, which cannot be inverted back to a minimal pair or even avoiding an upper cone. 1. ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Abstract. There are noncomputable c.e. sets, computable from every SJThard c.e. set. This yields a natural pseudojump operator, increasing on all sets, which cannot be inverted back to a minimal pair or even avoiding an upper cone. 1.