加载中…
Richter, Stephan, and Zhang asked whether every nonrecursive many-one degree contains a least finite-one degree. We prove this for every nonrecursive \ce\ many-one degree containing a -maximal set. The proof handles the simple cases via known results and develops a duplicate-cover method for the remaining -maximal types in the classification of Cholak, Gerdes, and Lange.

生成讲解博客的中文版本

生成AI智能校验的中文版本