Extensions of continuous increasing functions (Q6098395)

The starting point of this paper is the classical book of \textit{L. Nachbin} [Topology and order. Translated from the Portuguese by Lulu Bechtolsheim. Princeton-New-Jersey-Toronto-New York-London: D. Van Nostrand Company, Inc. (1965; Zbl 0131.37903)]. In this monograph topological ordered spaces were introduced. In particular, in its first chapter, analogues of Urysohn and Tietze extension theorems were proved in this context for order-preserving maps. On the other hand, in the also famous book by \textit{L. Gillman} and \textit{M. Jerison} [Rings of continuous functions. Princeton-Toronto-London-New York: D. Van Nostrand Company, Inc. (1960; Zbl 0093.30001)], the notions of \(C^*\)-embedded and \(C\)-embedded subsets for topological spaces were extensively studied. The main objective of the paper under review is to generalize some of the extension results proved by Gillman and Jerison to the frame of ordered topological spaces. For instance, in Theorem 1.5 the following is shown: ``Every real-valued and bounded continuous increasing function on a subspace \(A\) of a topological pre-ordered space \(X\) can be extended to a continuous increasing function over \(X\) (i.e. \(A\) is order \(C^*\)-embedded in \(X\)) if and only if every pair of completely order separated subsets of \(A\) can be completely ordered separated in \(X\)''. That is, the latter result is the corresponding order version of Theorem 1.17 of Gillman and Jerison. It is worth highlighting that such a generalization is not trivial at all, in fact, it is necessary to introduce many new concepts and to do some previous study in order to obtain the final objective. This is the reason for which the paper is maybe a little long. The paper also analyzes the extension of increasing unbounded functions as well as other related topics.