Publications
All papers, abstracts and other information
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. To appear in Journal of Logic and Analysis. 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.