Different notions of Sierpiński-Zygmund functions (Q2228340)

A function \(f:\mathbb{R}\rightarrow\mathbb{R}\) is Sierpiński-Zygmund, \(f\in\text{SZ}(\text{C})\), provided its restriction \(f\restriction M\) is discontinuous for any \(M\subset\mathbb{R}\) of cardinality of the continuum. Often, it is slightly easier to construct a function \(f:\mathbb{R}\rightarrow\mathbb{R}\), denoted as \(f\in\text{SZ}(\text{Bor})\), with a seemingly stronger property that \(f\restriction M\) is not Borel for any \(M\subset\mathbb{R}\) of cardinality of the continuum. It has been recently noticed that the properness of the inclusion \(\text{SZ}(\text{Bor})\subseteq\text{SZ}(\text{C})\) is independent of ZFC. In this paper, the authors explore the classes \(\text{SZ}(\Phi)\) for arbitrary families \(\Phi\) of partial functions from \(\mathbb{R}\) to \(\mathbb{R}\). They investigate additivity and lineability coefficients of the class \(\mathbb{S}:=\text{SZ}(\text{C})\setminus\text{SZ}(\text{Bor})\). In particular, they show that if \(\mathfrak{c}=\kappa^+\) and \(\mathbb{S}\ne\emptyset\), then the additivity of \(\mathbb{S}\) is \(\kappa\), that \(\mathbb{S}\) is \(\mathfrak{c}^+\)-lineable, and it is consistent with ZFC that \(\mathbb{S}\) is \(\mathfrak{c}^{++}\)-lineable. Several examples of functions from \(\text{SZ}(\text{C})\setminus\text{SZ}(\text{Bor})\) are constructed that also belong to other important classes of real functions.