Abstract
The Steprāns forcing notion arises as quotient of the algebra of Borel sets modulo the ideal of σ-continuity of a certain Borel not σ-continuous function. We give a characterization of this forcing in the language of trees and use this characterization to establish such properties of the forcing as fusion and continuous reading of names. Although the latter property is usually implied by the fact that the associated ideal is generated by closed sets, we show that it is not the case with Steprāns forcing. We also establish a connection between Steprāns forcing and Miller forcing thus giving a new description of the latter. Eventually, we exhibit a variety of forcing notions which do not have continuous reading of names in any presentation.
Similar content being viewed by others
References
Cichoń J., Morayne M., Pawlikowski, J., Solecki, S.: Decomposing Baire functions. J. Symb. Logic 56, 1273–1283 (1991)
Hrušák, M., Zapletal, J.: Forcing with quotients. arXiv:math/0407182v1
Jech T.: Set Theory. The third Millenium edition, revised and expanded. Springer, Berlin (2006)
Solecki S.: Decomposing Borel sets and functions and the structure of Baire class \({{\sim}1}\) functions. J. Am. Math. Soc. 11(3), 521–550 (1998)
Steprāns J.: A very discontinuous Borel function. J. Symb. Logic 58(4), 1268–1283 (1993)
Zapletal, J.: Descriptive Set Theory and Definable Forcing. Memoirs of the American Mathematical Society (2004)
Zapletal, J.: Forcing idealized. Cambridge Tracts in Mathematics, vol. 174 (2008)