Elementary functional equations on partially ordered linear algebra

Abstract

Suppose that a Dedekind σ \sigma -complete partially ordered linear algebra A admits a function with familiar functional and order properties as possessed by the real-valued exponential, logarithm, root or power function on the real line. Then A can be characterized as an algebra of almost finite extended-real-valued continuous functions defined on some proper topological space.