Bjørn Kjos-Hanssen
University of Hawaii at Manoa
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Bjørn Kjos-Hanssen.
SIAM Journal on Computing | 2005
Bjørn Kjos-Hanssen; André Nies; Frank Stephan
We answer a question of Ambos-Spies and Kucera in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests.
symposium on theoretical aspects of computer science | 2006
Bjørn Kjos-Hanssen; Wolfgang Merkle; Frank Stephan
We introduce the concepts of complex and autocomplex sets, where a set A is complex if there is a recursive, nondecreasing and unbounded lower bound on the Kolmogorov complexity of the prefixes (of the characteristic sequence) of A, and autocomplex is defined likewise with recursive replaced by A-recursive. We observe that exactly the autocomplex sets allow to compute words of given Kolmogorov complexity and demonstrate that a set computes a diagonally nonrecursive (DNR) function if and only if the set is autocomplex. The class of sets that compute DNR functions is intensively studied in recursion theory and is known to coincide with the class of sets that compute fixed-point free functions. Consequently, the Recursion Theorem fails relative to a set if and only if the set is autocomplex, that is, we have a characterization of a fundamental concept of theoretical computer science in terms of Kolmogorov complexity. Moreover, we obtain that recursively enumerable sets are autocomplex if and only if they are complete, which yields an alternate proof of the well-known completeness criterion for recursively enumerable sets in terms of computing DNR functions. All results on autocomplex sets mentioned in the last paragraph extend to complex sets if the oracle computations are restricted to truth-table or weak truth-table computations, for example, a set is complex if and only if it wtt-computes a DNR function. Moreover, we obtain a set that is complex but does not compute a Martin-Lof random set, which gives a partial answer to the open problem whether all sets of positive constructive Hausdorff dimension compute Martin-Lof random sets. Furthermore, the following questions are addressed: Given n, how difficult is it to find a word of length n that (a) has at least prefix-free Kolmogorov complexity n, (b) has at least plain Kolmogorov complexity n or (c) has the maximum possible prefix-free Kolmogorov complexity among all words of length n. All these questions are investigated with respect to the oracles needed to carry out this task and it is shown that (a) is easier than (b) and (b) is easier than (c). In particular, we argue that for plain Kolmogorov complexity exactly the PA-complete sets compute incompressible words, while the class of sets that compute words of maximum complexity depends on the choice of the universal Turing machine, whereas for prefix-free Kolmogorov complexity exactly the complete sets allow to compute words of maximum complexity.
arXiv: Logic | 2007
Bjørn Kjos-Hanssen
The low for random reals are characterized topologically, as well as in terms of domination of Turing functionals on a set of positive measure.
arXiv: Logic | 2014
Denis R. Hirschfeldt; Carl G. Jockusch; Bjørn Kjos-Hanssen; Steffen Lempp; Theodore A. Slaman
We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramseys Theorem for pairs and the related principles COH and DNR. We show that SRT
Theoretical Computer Science | 2009
Bjørn Kjos-Hanssen; Anil Nerode
^2_2
conference on computability in europe | 2009
David Diamondstone; Bjørn Kjos-Hanssen
implies DNR over RCA
arXiv: Logic | 2014
Cameron E. Freer; Bjørn Kjos-Hanssen; André Nies; Frank Stephan
_0
foundations of computer science | 2007
Bjørn Kjos-Hanssen; Anil Nerode
but COH does not, and answer a question of Mileti by showing that every computable stable
The Bulletin of Symbolic Logic | 2003
Bjørn Kjos-Hanssen
2
Journal of Mathematical Logic | 2011
Bjørn Kjos-Hanssen
-coloring of pairs has an incomplete