The bidual of <i>r</i>-algebras

Abstract

We prove that the order continuous bidual of an Archimedean r-algebra is a Dedekind complete r-algebra with respect to the Arens multiplications.