图灵度到Arthur-Nimue-Merlin度的一个反序嵌入（短版本）
An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees (short version)
Jean Abou Samra, David A. Madore
AI 速读 基于摘要
作者构造了从图灵度（序反转）到Arthur-Nimue-Merlin度的序嵌入，并研究所得“余图灵度”与自然嵌入的图灵度之间的序关系。
math.LO · cs.LO
查看原文摘要
The Arthur-Nimue-Merlin degrees are a generalization of the Turing degrees introduced by Kihara as a tangible description of the partially ordered set of Lawvere-Tierney topologies on the effective topos (equivalently, subtoposes of the effective topos). They are defined in terms of a three-player game that introduces both angelic and demonic non-determinism into oracle queries. We construct an order embedding of the Turing degrees with their order reversed into the Arthur-Nimue-Merlin degrees, whose image we call the "co-Turing degrees"; we then study the order relationship of these co-Turing degrees with the (naturally embedded) Turing degrees within the Arthur-Nimue-Merlin degrees. This is a short version of arXiv:2603.19946, focused on the main results.