It is shown to be consistent that every function of first Baire class can be decomposed into $ℵ_1$ continuous functions yet the least cardinal of a dominating family in $^ωω$ is $ℵ_2$. The model used in the one obtained by adding $ω_2$ Miller reals to a model of the Continuum Hypothesis.
Department of Mathematics, York University, 4700 Keele Street, North York, Ontario, Canada M3J 1P3
Bibliografia
[1] J. Cichoń, M. Morayne, J. Pawlikowski, and S. Solecki, Decomposing Baire functions, J. Symbolic Logic 56 (1991), 1273-1283.
[2] M. Groszek, Combinatorics on ideals and forcing with trees, ibid. 52 (1987), 582-593.
[3] A. Miller, Rational perfect set forcing, in: Axiomatic Set Theory, D. A. Martin, J. Baumgartner and S. Shelah (eds.), Contemp. Math. 31, Amer. Math. Soc., Providence, R.I., 1984, 143-159.
[4] S. Shelah, Proper Forcing, Lecture Notes in Math. 940, Springer, Berlin, 1982.
[5] J. Steprāns, A very discontinuous Borel function, J. Symbolic Logic 58 (1993), 1268-1283.