Answers are grounded in this paper and cite their sources.
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 L P O and L L P O do not have roots.
No takes yet. Share an insight, caveat, or question.
Patrick Uftring (2024) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: