σ-Continuity and related forcings

Archive for Mathematical Logic 48 (5):449-464 (2009)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,635

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Forcing Properties of Ideals of Closed Sets.Marcin Sabok & Jindřich Zapletal - 2011 - Journal of Symbolic Logic 76 (3):1075 - 1095.
Potential Continuity of Colorings.Stefan Geschke - 2008 - Archive for Mathematical Logic 47 (6):567-578.
Forcing with Quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.
A Very Discontinuous Borel Function.Juris Steprāns - 1993 - Journal of Symbolic Logic 58 (4):1268 - 1283.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
Preserving Non-Null with Suslin+ Forcings.Jakob Kellner - 2006 - Archive for Mathematical Logic 45 (6):649-664.
Generic Trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.
Projective Absoluteness for Sacks Forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
Mathias Absoluteness and the Ramsey Property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
A Formalism for Some Class of Forcing Notions.Piotr Koszmider & P. Koszmider - 1992 - Mathematical Logic Quarterly 38 (1):413-421.
Souslin Forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.

Analytics

Added to PP
2013-12-01

Downloads
24 (#477,626)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Forcing with Quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.
Decomposing Baire Functions.J. Cichoń, M. Morayne, J. Pawlikowski & S. Solecki - 1991 - Journal of Symbolic Logic 56 (4):1273 - 1283.
A Very Discontinuous Borel Function.Juris Steprāns - 1993 - Journal of Symbolic Logic 58 (4):1268 - 1283.

Add more references