Logical Berkovich Geometry: A Point-free Perspective

Ming Ng

Extending our insights from \cite{NVOstrowski}, we apply point-free techniques to sharpen a foundational result in Berkovich geometry. In our language, given the ring $\mathcal{A}:…