{"id":"arxiv/2602.08138","url":"https://arxiv.org/abs/2602.08138","tags":["math.LO","math.CT"],"score":0,"title":"The Game-Theoretic Katětov Order and Idealised Effective Subtoposes","domain":"math.LO","source":"arxiv","authors":["Takayuki Kihara","Ming Ng"],"reviews":0,"subject":"math.LO","summary":"This paper addresses the longstanding problem of determining the structure of the $\\leq_{\\mathrm{LT}}$-order in the Effective Topos, known to effectively embed the Turing degrees. In a surprising discovery, we show that the $\\leq_{\\mathrm{LT}}$-order is in fact tightly controlled by the combinatorics of filters on $ω$, raising deep questions about how combinatorial and computable complexity interact, both within this order and beyond it. To make the connection precise, we introduce a game-theoretic (''gamified'') variant of the Katětov order on filters over $ω$, which turns out to exhibit a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-08","reactions":{}}