Remark 2.5 . [03AU]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Remark 2.5.
If is an algebraic -model of as in 2.1, then we get an associated algebraic metric on by using the above construction for the formal -model of from Remark 2.3. By construction, every algebraic metric is a formal metric. The converse is also true as shown in [GK14, Proposition 8.13] (as the argument does not use the assumption that is algebraically closed).