Every Borel function is monotone Borel (Q1182474)

Let \(\Omega\) be an internal set in an \(\omega_ 1\)-saturated nonstandard universe. The main result in this paper is stated as follows: Let \(X\), \(Y\) be internal sets in \(\Omega\) and \(f\) be a Souslin (an injective Souslin) function (i.e. its graph is a Souslin set) in \(X\times Y\). Let \(\Gamma\) be a Souslin relation in \(X\times Y\) disjoint from the graph of \(f\). Then there exists a monotone Borel (an injectively generated, monotone Borel) function \(g\) such that \(f\subset g\) and \(g\cap\Gamma=\emptyset\). As a result of this proposition, we have the statement of the title. Moreover every Souslin function can be extended to a Borel function. This leads to a proof of Henson's separation theorem [\textit{C. W. Henson}, Can. J. Math. 31, 663-672 (1979; Zbl 0373.54035)]. From the result with brackets, every injective Borel function is an injectively generated, monotone Borel function and every injective Souslin function can be extended to an injective Borel function. Moreover, an injective Borel function maps Borel sets into Borel sets, as we hope. For the case that every \(Y\)-section of a Souslin relation is of cardinality \(\leq n\) (\(n\) is a standard integer), we have the following: Let \(X\), \(Y\) be internal sets and let \(\Gamma \subset X \times Y\) be a Souslin relation all of whose \(Y\)-sections are of cardinality \(\leq n\). Let \(\Lambda \subset X \times Y\) be a Souslin relation with \(\Lambda\cap\Gamma=\emptyset\). Then there exists a Borel relation \(\Gamma\cap\overline\Gamma\) all of whose \(Y\)-sections are of cardinality \(\leq n\) with \(\Lambda \cap\overline\Gamma=\emptyset\). Finally, the author gives a proof of the above result for the standard case.