加载中…
We answer the following question by Arno Pauly: “Is there a square-root operator on the Weihrauch degrees?”. In fact, we show that there are uncountably many pairwise incomparable Weihrauch degrees without any roots. We also prove that the omniscience principles of LPO and LLPO do not have roots.

生成讲解博客的中文版本

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