Graph explorer

Higher Kurtz randomness

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. We characterize lowness for $Δ^1_1$-Kurtz randomness as being $Δ^1_1$-dominated and $Δ^1_1$-semi-traceable.