Existence of a c.e. set intermediate for Sigma-Feiner and low for Delta-Feiner
Existence of a c.e. set intermediate for Sigma-Feiner and low for Delta-Feiner
Let be a computably enumerable set. Say that is intermediate for -Feiner if it is neither low nor high for -Feiner**, and say that it is low for -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 -Feiner and low for -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
Sign in to submit a solution.
No solutions have been posted yet.