{"id":"arxiv/2603.19946","url":"https://arxiv.org/abs/2603.19946","tags":["math.LO","cs.LO"],"score":0,"title":"An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees","domain":"math.LO","source":"arxiv","authors":["Jean Abou Samra","David Alexander Madore"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-20","reactions":{}}