There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far $\mathrm {ATR}_0$ has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.

中文翻译：

---

在 Weihrauch 格子中寻找 ATR0 的类似物

Weihrauch 格和逆向数学公理系统动物园之间有密切的相似之处。遵循这些相似性通常允许研究人员将结果从一种设置转换为另一种设置。然而，其中大五到目前为止，来自逆数学的公理系统$\mathrm {ATR}_0$在 Weihrauch 学位中没有确定的对应物。我们探索和评估了几个候选者，并得出结论认为情况很复杂。