Cardinal invariants concerning functions whose sum is almost continuous (Q1898972): Difference between revisions

For a family \(\mathcal F\) of real functions let \(A({\mathcal F})\) be the smallest cardinality of a family \(\mathcal G\) for which there is no function \(h\) with the property that \(h+ g\in {\mathcal F}\) for all \(g\in {\mathcal G}\). This cardinality is studied for the family \({\mathcal A}{\mathcal C}\) of all almost continuous functions in the sense of \textit{J. Stallings} [cf. Fundam. Math. 47, 249-263 (1959; Zbl 0114.391)] and for the family \(\mathcal D\) of all Darboux functions. It is known that \(2^\omega< A({\mathcal A}{\mathcal C})\leq 2^{2^\omega}\) [the reviewer, Real Anal. Exch. 17, No. 2, 462- 520 (1992; Zbl 0760.54007)]. This result is generalized by showing that the cofinality of \(A({\mathcal A}{\mathcal C})\) is greater than \(2^\omega\). Moreover, for every regular cardinal \(\kappa\) it is relatively consistent with ZFC that \(A({\mathcal A}{\mathcal C})= \kappa\), and \(A({\mathcal A}{\mathcal C})\) can be equal to \(2^{2^\omega}\) independently of the cofinality of \(2^{2^\omega}\). It is also shown that \(A({\mathcal A}{\mathcal C}) = A({\mathcal D})= e_{2^\omega}\), where the cardinal \(e_\kappa\) is defined by \textit{A. Landver} [J. Symb. Logic 57, No. 3, 1086-1107 (1992; Zbl 0797.03046)].