Refine search
Actions for selected content:
1 results
THE FAILURE OF SELMAN’S THEOREM FOR HYPERENUMERATION REDUCIBILITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 14 April 2026, pp. 1-19
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
Hyperenumeration reducibility was first introduced by Sanchis [11]. The relationship between hyperenumeration and hyperarithmetic reducibility shares many parallels with the relationship between enumeration and Turing reducibility. We ask if this relationship can be pushed to prove and analog of Selman’s Theorem for hyperenumeration reducibility. By studying e-pointed trees in Baire space we are able to get a counter example. An e-pointed tree T is a tree with no dead ends and the property that every path in T enumerates T. We prove that if T is an e-pointed tree then for all X if T is
$\Pi ^1_1$ in X then 
$\overline {T}$ is 
$\Pi ^1_1$ in X. We build an e-pointed tree T such that 
$\overline {T}$ is not hyperenumeration reducible to T.
