Graphs with \(\boldsymbol\Pi^ 0_ 1(\kappa)\) \(Y\)-sections (Q688509)

This paper continues the investigation of the structure of the subsets of the product space in the Descriptive Set Theory of Internal Sets initiated by the author in two earlier papers [Ann. Pure Appl. Logic 54, 87-99 (1991; Zbl 0753.03030); J. Symb. Logic 56, 50-66 (1991; Zbl 0744.03064)]. We prove that a Borel subset of the product of two internal sets \(X\) and \(Y\) all of whose \(Y\)-sections are \(\boldsymbol\Pi^ 0_ 1(\kappa)\) (\(\boldsymbol\Sigma^ 0_ 1(\kappa)\)) sets is the intersection (union) of a countable sequence of Borel graphs with internal \(Y\)-sections. As a consequence we prove some standard results about the domains of graphs in the product of two topological spaces all of whose vertical section are compact (open) sets. For example, a new proof of Novikov's Theorem is given: the domain of a Borel subset \(G\) of the product of two Polish spaces all of whose vertical sections are compact sets is Borel. A new short and insightful proof of classical Kunugui's theorem is presented: given a Borel relation in \(G\) the product of two Polish spaces the set \(\{x: G(x)\) compact and nonempty\} is coanalytic. The proofs of both of the above results is also valid for some more general spaces, which touches some results of C. A. Rogers. Finally, a version of classical Vitali-Lusin theorem about the almost continuity of Borel functions is given.