{"id":"arxiv/2605.14086","url":"https://arxiv.org/abs/2605.14086","tags":["math.LO","math.CT"],"score":0,"title":"What can Topology tell us about Logical Complexity?","domain":"math.LO","source":"arxiv","authors":["Takayuki Kihara","Ming Ng"],"reviews":0,"subject":"math.LO","summary":"In the 1980s, category theorists introduced the Lawvere-Tierney $(\\leq_{\\mathrm{LT}})$ order in the Effective Topos, known to effectively embed the Turing degrees. Understanding its structure is a longstanding open problem in the area. In particular, there was an informal sense that the $\\leq_{\\mathrm{LT}}$-order reflects certain shifts in combinatorial complexity, but a precise characterisation remained elusive for some time. Recent work by the authors has substantially clarified the picture. In arXiv:2602.08138, the authors introduced a game-theoretic (''gamified'') version of the Katětov…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-13","reactions":{}}