Dobrinen–Simpson conjecture on high degrees and almost everywhere domination

Let AA be a set of natural numbers, let AA' denote its Turing jump, and let 00” denote the second Turing jump of the computable degree. A set is almost everywhere dominating when it has the almost-everywhere domination property discussed in the paper. Dobrinen–Simpson conjecture.

AT0A is a.e. dominating.A' \geq_T 0” \Leftrightarrow A\text{ is a.e.~dominating}.

This conjecture asks whether highness is equivalent to almost everywhere domination. The surrounding text states that the reverse implication and the question of whether every high degree is almost everywhere dominating were not settled there; its resolution is therefore not established by the supplied source.

Sources & referencesView supporting material

Primary source

Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman and Reed Solomon, “On a conjecture of Dobrinen and Simpson concerning almost everywhere domination”, arXiv:1408.2282 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.