Sur les fonctions implicites à une infinité dénombrable de valeurs. (Q1835143)

Verf. behandelt die Auflösung des Systems \[ f_i\,(x_1,\dots,x_n;\;y_1,\dots,y_p)=0\;(i=1,2\dots,q) \] nach den \(y_i\), wobei die \(f_i\) Funktionen der \textit{Baire}schen Klassen sein sollen, in folgenden Fällen: (1) eine der impliziten Funktionen ist im Existenzbereich des Funktionensystems eindeutig, von den übrigen weiß man nichts; (2) alle \(y_i\) sind in ihrem Existenzbereich höchstens abzählbar vieldeutig; (3) eine der \(y_i\) ist höchstens abzählbar vieldeutig, über die übrigen weiß man nichts. Die Resultate sind im Falle (2) denen von \textit{Lebesgue} für den einfachsten Fall der Eindeutigkeit der \(y_i\) analog; im Falle (1) und (3) bleiben die Aussagen über die Natur der Funktionen, nicht aber die über die Meßbarkeit (\(B\)) ihres Existenzbereiches erhalten.