Decomposing Baire class 1 functions into continuous functions

ArticleOriginal scientific text

Title

Authors ^1,², ²

Institute of Mathematics, Hebrew University, Jerusalem, Givat Ram, Israel
Department of Mathematics, York University, 4700 Keele Street, North York, Ontario, Canada M3J 1P3

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.

J. Cichoń, M. Morayne, J. Pawlikowski, and S. Solecki, Decomposing Baire functions, J. Symbolic Logic 56 (1991), 1273-1283.
M. Groszek, Combinatorics on ideals and forcing with trees, ibid. 52 (1987), 582-593.
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.
S. Shelah, Proper Forcing, Lecture Notes in Math. 940, Springer, Berlin, 1982.
J. Steprāns, A very discontinuous Borel function, J. Symbolic Logic 58 (1993), 1268-1283.

http://matwbn.icm.edu.pl/ksiazki/fm/fm145/fm14525.pdf