76 citations · 207 across the 31 of their papers we have counts for
4 papers · 1 filter
Higher Kurtz randomness
Bjørn Kjos-Hanssen, André Nies, Frank Stephan +1
A real is -Kurtz random (-Kurtz random) if it is in no closed null set ( set). We show that there is a cone of -Kurtz random hyperdegrees. W…
Lowness for the class of Schnorr random reals
Bjørn Kjos-Hanssen, André Nies, Frank Stephan
We answer a question of Ambos-Spies and Kučera in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests.
On Martin's Pointed Tree Theorem
Rupert Hölzl, Frank Stephan, Liang Yu
We investigate the reverse mathematics strength of Martin's pointed tree theorem (MPT) and one of its variants, weak Martin's pointed tree theorem (wMPT).
Algorithmic aspects of Lipschitz functions
Cameron Freer, Bjørn Kjos-Hanssen, André Nies +1
We characterize the variation functions of computable Lipschitz functions. We show that a real z is computably random if and only if every computable Lipschitz function is differen…