pith. sign in

arxiv: 1408.2896 · v1 · pith:HWZOL3AInew · submitted 2014-08-13 · 🧮 math.LO

Higher Kurtz randomness

classification 🧮 math.LO
keywords deltakurtzrandomrandomnesscharacterizeclosedconedominated
0
0 comments X
read the original abstract

A real $x$ is $\Delta^1_1$-Kurtz random ($\Pi^1_1$-Kurtz random) if it is in no closed null $\Delta^1_1$ set ($\Pi^1_1$ set). We show that there is a cone of $\Pi^1_1$-Kurtz random hyperdegrees. We characterize lowness for $\Delta^1_1$-Kurtz randomness as being $\Delta^1_1$-dominated and $\Delta^1_1$-semi-traceable.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.