Another proof of the measurability of \(\delta\) for the generalized Riemann integral (Q584434)

The author proves that restricting the function \(\delta\) in the generalized Riemann integral to be measurable does not change the nature of the integral. The proof consists in first noting that the integral defined using a measurable \(\delta\) has the same basic properties as the apparently more general integral, then the result follows using Romanovskii's lemma. A similar proof of a more complicated but more general result (\(\delta\) is upper-semi continuous on a set of full measure) has been given by \textit{W. F. Pfeffer} [Proc. Am. Math. Soc. 103, No.4, 1161-1166 (1988; Zbl 0656.26010)].