Publications

Papers

• (with T. Kihara). "The Game-theoretic Katetov Order and Idealised Effective Subtoposes." arXiv

• "K_1(Var) is presented by stratified birational equivalences." arXiv

• (with Merling, M., Semikina, J., Sendon Blanco, A., and Williams, L.) "Scissors congruence K-theory for equivariant manifolds." Bulletin of London Mathematical Society, Vol. 58, No. 1, (2025). arXiv

• "Logical Berkovich Geometry: a Point-free Perspective." To appear in Journal of Symbolic Logic. PDF arXiv

• (with S. Vickers) "A Point-free Look at Ostrowski's Theorem and Absolute Values." Journal of Logic and Analysis, Vol 17, FDS:6, (2025). arXiv

• (with S. Vickers) "Point-free Construction of Real Exponentiation." Logical Methods in Computer Science, Vol. 18, No. 3, (2022). arXiv

In Preparation

• "The Archimedean Place is a Blurred Interval." In preparation.