加载中…
For mass problems (Baire space), is Medvedev reducible to () if for some Turing funcional , , and Medvedev equivalent to if also . Shafer asked if every closed problem is Medvedev equivalent to a closed problem with (Cantor space). We show that this is not the case.

生成讲解博客的中文版本

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