Metric completions of ordered groups and 𝐾₀ of exchange rings | Publicación