Existence of a c.e. set intermediate for Sigma-Feiner and low for Delta-Feiner

From papers

Let AA be a computably enumerable set. Say that AA is intermediate for Σ\Sigma-Feiner if it is neither low nor high for Σ\Sigma-Feiner**, and say that it is low for Δ\Delta-Feiner if it is low for that hierarchy.

C.e. Sigma-intermediate/Delta-low conjecture. There is a computably enumerable set that is intermediate for Σ\Sigma-Feiner and low for Δ\Delta-Feiner**.

This is a specific instance of differing behavior between the two Feiner hierarchies. The supplied text provides no resolution status beyond its presentation as a conjecture.

Progress summary

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

Sources & referencesView supporting material

Primary source

Denis R. Hirschfeldt, Asher M. Kach and Antonio Montalbán, “A Feiner Look at the Intermediate Degrees”, arXiv:2110.06402 (2021).

Solutions 0

No solutions have been posted yet.