C. Schaper, “Conjectures and Open Problems in the Ic Topos: Ramification, K-Theory, and Discrete Geometrization”, ACF, vol. 1, no. 1, pp. 149–156, Aug. 2026, doi: 10.68366/f2sz6r03.