Ming Ng, Steve Vickers, Point-free Construction of Real Exponentiation, Logical Methods in Computer Science, Volume 18, Issue 3 (August 2, 2022), (doi:10.46298/lmcs-18(3:15)2022, arXiv:2104.00162)
Ming Ng, Steven Vickers, A Point-Free Look at Ostrowski’s Theorem and Absolute Values (arXiv:2308.14758)
Ming Ng, Logical Berkovich Geometry: A Point-free Perspective (arXiv:2308.16472)
On scissors congruence via K-theory:
Last revised on January 18, 2025 at 04:50:30. See the history of this page for a list of all contributions to it.