Results 1 
8 of
8
Lowness Properties and Randomness
 ADVANCES IN MATHEMATICS
"... The set A is low for MartinLof random if each random set is already random relative to A. A is Ktrivial if the prefix complexity K of each initial segment of A is minimal, namely K(n)+O(1). We show that these classes coincide. This implies answers to questions of AmbosSpies and Kucera [2 ..."
Abstract

Cited by 79 (21 self)
 Add to MetaCart
The set A is low for MartinLof random if each random set is already random relative to A. A is Ktrivial if the prefix complexity K of each initial segment of A is minimal, namely K(n)+O(1). We show that these classes coincide. This implies answers to questions of AmbosSpies and Kucera [2], showing that each low for MartinLof random set is # 2 . Our class induces a natural intermediate # 3 ideal in the r.e. Turing degrees (which generates the whole class under downward closure). Answering
Randomness and reducibility
 J. Comput. System Sci
, 2001
"... How random is a real? Given two reals, which is more random? If we partition reals into equivalence classes of reals of the “same degrees of randomness”, what does the resulting structure look like? The goal of this paper is to look at questions like these, specifically by studying the properties of ..."
Abstract

Cited by 26 (4 self)
 Add to MetaCart
How random is a real? Given two reals, which is more random? If we partition reals into equivalence classes of reals of the “same degrees of randomness”, what does the resulting structure look like? The goal of this paper is to look at questions like these, specifically by studying the properties of reducibilities that act as
A Characterization of C.E. Random Reals
 THEORETICAL COMPUTER SCIENCE
, 1999
"... A real # is computably enumerable if it is the limit of a computable, increasing, converging sequence of rationals; # is random if its binary expansion is a random sequence. Our aim is to offer a selfcontained proof, based on the papers [7, 14, 4, 13], of the following theorem: areal is c.e. and ra ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
A real # is computably enumerable if it is the limit of a computable, increasing, converging sequence of rationals; # is random if its binary expansion is a random sequence. Our aim is to offer a selfcontained proof, based on the papers [7, 14, 4, 13], of the following theorem: areal is c.e. and random if and only if it a Chaitin# real, i.e., the halting probability of some universal selfdelimiting Turing machine.
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 5 (2 self)
 Add to MetaCart
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
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 2 (0 self)
 Add to MetaCart
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.
An Enumerable Undecidable Set With Low Prefix Complexity: A Simplified Proof
"... e). To do so we start with n k = 2k (say) and with A = ;. Then we enumerate the graph of the function (p k ; n) 7! p k (n). If (for some k) we nd that p k (n k ) is dened and dierent from 0 we add n k to A. In this way we will obtain an enumerable undecidable set. However it may not satisfy the ineq ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
e). To do so we start with n k = 2k (say) and with A = ;. Then we enumerate the graph of the function (p k ; n) 7! p k (n). If (for some k) we nd that p k (n k ) is dened and dierent from 0 we add n k to A. In this way we will obtain an enumerable undecidable set. However it may not satisfy the inequality KP(A 1:n ) KP(n) +O(1). To ensure this inequality let us rst rewrite it using a priori distribution m(z) as follows: m(A 1:n ) m(n)=c for some positive c and all<F1
The Classes of Algorithmically Random Reals
, 2003
"... in fulfilment of the requirements for the degree of ..."
On a Theorem of Solovay
, 1999
"... We present a proof of the following result due to Solovay: There exists a noncomputable # 0 2 real x such that H#x n # 6 H#n#+O#1#: ..."
Abstract
 Add to MetaCart
We present a proof of the following result due to Solovay: There exists a noncomputable # 0 2 real x such that H#x n # 6 H#n#+O#1#: