Frank Stephan

9 citations · 9 across the 4 of their papers we have counts for

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2014★ 9 cited

Higher Kurtz randomness

Bjørn Kjos-Hanssen, André Nies, Frank Stephan +1

A real $x$ is $Δ_{1}^{1}$ -Kurtz random ( $Π_{1}^{1}$ -Kurtz random) if it is in no closed null $Δ_{1}^{1}$ set ( $Π_{1}^{1}$ set). We show that there is a cone of $Π_{1}^{1}$ -Kurtz random hyperdegrees. W…

math.LO2014

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).