Points of upper and lower semicontinuity for multivalued functions (Q2417316)

It is known that a multifunction of two variables $F:X\times Y\to Z$, whose $X$ and $Y$ sections are both lower (resp. upper) semicontinuous may be (under usual assumptions on $X$, $Y$, $Z$) non weakly measurable (resp. nonmeasurable), but if the $X$-sections are lsc, the $Y$-sections are usc and the values are compact, it belongs to the upper Borel class 1 [\textit{W. Ślȩzak}, Zesz. Nauk. Wyższ. Szk. Pedagog. Bydgoszczy, Probl. Mat. 5/6, 83--96 (1986; Zbl 0612.54019)]. In the paper under review some conditions are formulated under which a lower (resp. upper) horizontally quasicontinuous multifunction and with categorically usc (resp. lsc) $X$-sections, usc (resp. lsc) $Y$-sections and compact (resp. closed) values is jointly usc (resp. lsc). Moreover for compact-valued multifunctions with symmetrically lower quasicontinuous $X$-sections and upper quasicontinuous $Y$-sections the set of joint lower semicontinuity points is of the form $D\times Y$, where $D$ is a dense $G_\delta$ subset of a Baire space, generalizing in many aspects an old result of M. Kempisty.