The Game-Theoretic Kat tov Order and Idealised Effective Subtoposes

arXiv:2602.08138 · math.LO, math.CT · Submitted 2026-02-08 · Read on arXiv