AbstractThe present work investigates several questions from a recent survey of Miller and Nies related to Chaitin's Ω numbers and their dependence on the underlying universal machine. Furthermore, the notion ΩU[X]=∑p:U(p)↓∈X2-|p| is studied for various sets X and universal machines U. A universal machine U is constructed such that for all x, ΩU[{x}]=21-H(x). For such a universal machine there exists a co-r.e. set X such that ΩU[X] is neither left-r.e. nor Martin-Löf random. Furthermore, one of the open problems of Miller and Nies is answered completely by showing that there is a sequence Un of universal machines such that the truth-table degrees of the ΩUn form an antichain. Finally, it is shown that the members of hyperimmune-free Turing ...
AbstractComputably enumerable (c.e.) reals can be coded by Chaitin machines through their halting pr...
AbstractThere are two fundamental computably enumerable sets associated with any Kolmogorov complexi...
AbstractA real α is called recursively enumerable if it is the limit of a recursive, increasing, con...
AbstractThe present work investigates several questions from a recent survey of Miller and Nies rela...
The present work investigates several questions from a recent survey of Miller and Nies related to C...
We study the differences of Martin-Löf random left-c.e. reals and show that for each pair of such re...
We introduce the {it natural halting probability} and the {it natural complexity} of a Turing ma...
The halting probability of a Turing machine is the probability that the machine will halt if it star...
AbstractSchnorr randomness is a notion of algorithmic randomness for real numbers closely related to...
We study the notion of universality probability of a universal prefix-free machine, as introduced by...
A Martin-Löf test UU is universal if it captures all non-Martin-Löf random sequences, and it is opti...
Abstract. As a natural example of a 1-random real, Chaitin proposed the halting probability Ω of a u...
AbstractLet UTM(m, n) be the class of universal Turing machine with m states and n symbols. Universa...
Chaitin’s number is the halting probability of a universal prefix-free machine, and although it depe...
This thesis examines some problems related to Chaitin’s Ω number. In the first section, we describe ...
AbstractComputably enumerable (c.e.) reals can be coded by Chaitin machines through their halting pr...
AbstractThere are two fundamental computably enumerable sets associated with any Kolmogorov complexi...
AbstractA real α is called recursively enumerable if it is the limit of a recursive, increasing, con...
AbstractThe present work investigates several questions from a recent survey of Miller and Nies rela...
The present work investigates several questions from a recent survey of Miller and Nies related to C...
We study the differences of Martin-Löf random left-c.e. reals and show that for each pair of such re...
We introduce the {it natural halting probability} and the {it natural complexity} of a Turing ma...
The halting probability of a Turing machine is the probability that the machine will halt if it star...
AbstractSchnorr randomness is a notion of algorithmic randomness for real numbers closely related to...
We study the notion of universality probability of a universal prefix-free machine, as introduced by...
A Martin-Löf test UU is universal if it captures all non-Martin-Löf random sequences, and it is opti...
Abstract. As a natural example of a 1-random real, Chaitin proposed the halting probability Ω of a u...
AbstractLet UTM(m, n) be the class of universal Turing machine with m states and n symbols. Universa...
Chaitin’s number is the halting probability of a universal prefix-free machine, and although it depe...
This thesis examines some problems related to Chaitin’s Ω number. In the first section, we describe ...
AbstractComputably enumerable (c.e.) reals can be coded by Chaitin machines through their halting pr...
AbstractThere are two fundamental computably enumerable sets associated with any Kolmogorov complexi...
AbstractA real α is called recursively enumerable if it is the limit of a recursive, increasing, con...