将图灵度数倒序嵌入阿瑟-尼姆-梅林-林德中的顺序嵌入
逻辑
2026-03-23 v1 计算机科学中的逻辑
摘要
阿瑟-尼姆-梅林-林德是由Kihara引入的图灵度数的一种推广，旨在对有效主语（等价于有效主语的子主语）的部分有序集合进行具体化描述。它们以三人游戏的形式定义，该游戏引入了使oracle查询同时具有天使性和恶魔性的非确定性。我们构造了一个将图灵度数以其顺序倒置嵌入阿瑟-尼姆-梅林-林德中的顺序嵌入，其映像我们称为“共图灵度数”；随后我们研究了这些共图灵度数与(自然嵌入的)图灵度数在阿瑟-尼姆-梅林-林德中的顺序关系。
引用
@article{arxiv.2603.19946,
title = {An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees},
author = {Jean Abou Samra and David Alexander Madore},
journal= {arXiv preprint arXiv:2603.19946},
year = {2026}
}
备注
42 pages, comments welcome