Order-coherent Archimedean f -algebras

Abstract

Let A be an Archimedean uniformly complete f -algebra with unit element. It is shown that A is a po-coherent ring (in the sense of F. Wehrung) if and only if A is Dedekind σ-complete.