On the convergence of \(\omega_1\) sequences of real functions (Q5948309)

Families \( {\mathcal L} ({\mathcal F}) \) consisting of sets of points at which \( {\omega}_1 \) sequences of real functions from a given class \( {\mathcal F} \) converge are studied. In particular, if the class of all continuous functions is denoted by \( {\mathcal C} \), the family \( {\mathcal L} ({\mathcal C}) \) coincides with the collection of the closed sets. If \( {\mathcal F} \) is the first class of Baire or it is one of the classes of all Baire measurable functions, Borel functions, or Lebesgue measurable functions, and we also assume the Continuum Hypothesis, then \( {\mathcal L} ({\mathcal F}) \) consits of all subsets of the real line. It is also presented that under some alternative hypotheses the situation is different, so the answer cannot be obtained in ZFC. The case of quasi-continuous functions is also investigated.