Publications

Papers

• Ng, M., and Vickers, S., Point-free Construction of Real Exponentiation. Logical Methods in Computer Science, Vol. 18, No. 3, 2022. arXiv.

• Ng, M., and Vickers, S., A Point-free Look at Ostrowski's Theorem and Absolute Values. Submitted. arXiv.

• Ng, M., Logical Berkovich Geometry: a Point-free Perspective. Submitted. arXiv.

In Preparation

• Ng, M., and Vickers, S., The (Quasi-)Compactification of Spec(Z) via Descent & Geometric Logic. In preparation.