The 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. It is shown that there are universal machines for which ΩU is just x 21−H(x). For such a universal machine there exists a co-r.e. set X such that ΩU[X] = � p:U(p)↓∈X 2−|p | 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 hyperimmunefree Turing degree of a given Π0 1-class are not low for Ω unless this class contains a recursive s...
This thesis establishes results in several different areas of computability theory. The first chapt...
AbstractKurtz randomness is a notion of algorithmic randomness for real numbers. In particular a rea...
Abstract. We prove a number of results in effective randomness, using methods in which Π01 classes p...
AbstractThe present work investigates several questions from a recent survey of Miller and Nies rela...
This thesis examines some problems related to Chaitin’s Ω number. In the first section, we describe ...
AbstractSchnorr randomness is a notion of algorithmic randomness for real numbers closely related to...
Abstract. Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Marti...
Abstract. As a natural example of a 1-random real, Chaitin proposed the halting probability Ω of a u...
Abstract. Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Marti...
Abstract. We investigate the truth-table degrees of (co-)c.e. sets, in partic-ular, sets of random s...
We introduce the {it natural halting probability} and the {it natural complexity} of a Turing ma...
AbstractIn this paper we introduce the notion of ε-universal prefix-free Turing machine (ε is a comp...
We study the notion of universality probability of a universal prefix-free machine, as introduced by...
We investigate the truth-table degrees of (co-)c.e.\ sets, in particular,sets of random strings. It ...
This thesis establishes significant new results in the area of algorithmic randomness. These results...
This thesis establishes results in several different areas of computability theory. The first chapt...
AbstractKurtz randomness is a notion of algorithmic randomness for real numbers. In particular a rea...
Abstract. We prove a number of results in effective randomness, using methods in which Π01 classes p...
AbstractThe present work investigates several questions from a recent survey of Miller and Nies rela...
This thesis examines some problems related to Chaitin’s Ω number. In the first section, we describe ...
AbstractSchnorr randomness is a notion of algorithmic randomness for real numbers closely related to...
Abstract. Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Marti...
Abstract. As a natural example of a 1-random real, Chaitin proposed the halting probability Ω of a u...
Abstract. Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Marti...
Abstract. We investigate the truth-table degrees of (co-)c.e. sets, in partic-ular, sets of random s...
We introduce the {it natural halting probability} and the {it natural complexity} of a Turing ma...
AbstractIn this paper we introduce the notion of ε-universal prefix-free Turing machine (ε is a comp...
We study the notion of universality probability of a universal prefix-free machine, as introduced by...
We investigate the truth-table degrees of (co-)c.e.\ sets, in particular,sets of random strings. It ...
This thesis establishes significant new results in the area of algorithmic randomness. These results...
This thesis establishes results in several different areas of computability theory. The first chapt...
AbstractKurtz randomness is a notion of algorithmic randomness for real numbers. In particular a rea...
Abstract. We prove a number of results in effective randomness, using methods in which Π01 classes p...