当前位置: X-MOL 学术Ann. Pure Appl. Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Embeddings between well-orderings: Computability-theoretic reductions
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2020-02-11 , DOI: 10.1016/j.apal.2020.102789
Jun Le Goh

We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion (ATR0) from the point of view of computability-theoretic reducibilities, in particular Weihrauch reducibility. Our main result states that it is equally hard to construct an embedding between two given well-orderings, as it is to construct a Turing jump hierarchy on a given well-ordering. This answers a question of Marcone. We obtain a similar result for Fraïssé's conjecture restricted to well-orderings.



中文翻译:

井井有条之间的嵌入:可计算性理论的约简

我们围绕算术超限递归(ATR0)从可计算性-理论可简化性,尤其是Weihrauch可简化性的角度来看。我们的主要结果表明,在两个给定的井次之间构造嵌入同样困难,因为要在给定的井次上构造图灵跳跃层次。这回答了马可恩的问题。对于仅限于良序的弗雷塞猜想,我们得到了相似的结果。

更新日期:2020-02-11
down
wechat
bug