On measurability properties connected with the superposition operator. (Q595862)

Let \(F\) be a class of real-valued functions defined on some set \(E\), measurable with respect to a \(\sigma\)-algebra \(S\). A function \(\phi: E\times\mathbb{R}\to \mathbb{R}\) is called to be sup-measurable with respect to \(F\) if for each \(f\in F\) the function \(\phi_f\) defined by \(\phi_f(x)= \phi(x,f(x))\) is \(S\)-measurable. The main result of the paper is Theorem 1 describing the maximal family \(F'\supset F\) consisting also of \(S\)-measurable functions such that \(\phi\) is sup-measurable with respect to \(F'\). There are also numerous examples explaining the role of axioms of set theory in questions concerning sup-measurability.