A Point-Free Look at Ostrowski's Theorem and Absolute Values

Ming Ng, Steven Vickers

This paper investigates the absolute values on $\mathbb{Z}$ valued in the upper reals (i.e. reals for which only a right Dedekind section is given). These necessarily include multi…