A Feiner Look at the Intermediate Degrees
Authors:
Denis R. Hirschfeldt,
Asher M. Kach,
Antonio Montalbán
Abstract:
We say that a set $S$ is $Δ^0_{(n)}(X)$ if membership of $n$ in $S$ is a $Δ^0_{n}(X)$ question, uniformly in $n$. A set $X$ is low for $Δ$-Feiner if every set $S$ that is $Δ^0_{(n)}(X)$ is also $Δ^0_{(n)}(\emptyset)$. It is easy to see that every low$_n$ set is low for $Δ$-Feiner, but we show that the converse is not true by constructing an intermediate c.e. set that is low for $Δ$-Feiner. We also…
▽ More
We say that a set $S$ is $Δ^0_{(n)}(X)$ if membership of $n$ in $S$ is a $Δ^0_{n}(X)$ question, uniformly in $n$. A set $X$ is low for $Δ$-Feiner if every set $S$ that is $Δ^0_{(n)}(X)$ is also $Δ^0_{(n)}(\emptyset)$. It is easy to see that every low$_n$ set is low for $Δ$-Feiner, but we show that the converse is not true by constructing an intermediate c.e. set that is low for $Δ$-Feiner. We also study variations on this notion, such as the sets that are $Δ^0_{(bn+a)}(X)$, $Σ^0_{(bn+a)}(X)$, or $Π^0_{(bn+a)}(X)$, and the sets that are low, intermediate, and high for these classes. In doing so, we obtain a result on the computability of Boolean algebras, namely that there is a Boolean algebra of intermediate c.e. degree with no computable copy.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
