Publications

Papers

• (with S. Vickers) "Point-free Construction of Real Exponentiation." Logical Methods in Computer Science, Vol. 18, No. 3, (2022). 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.

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

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

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

In Preparation

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

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