-continuity and related forcings

DOI10.1007/S00153-009-0132-8zbMATH Open1169.03040OpenAlexW1550458202MaRDI QIDQ2391095FDOQ2391095

Authors Marcin Sabok 

Publication date 24 July 2009

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0807.1254

zbMATH Keywords

treesfusionBorel setsMiller forcingcontinuous reading of namesSteprāns forcing

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: The Steprans forcing notion arises as a quotient of Borel sets modulo the ideal of $sigma$-continuity of a certain Borel not $sigma$-continuous function. We give a characterization of this forcing in the language of trees and using this characterization we 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 it is not the case with Steprans forcing. We also establish a connection between Steprans 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.

Recommendations

• Forcing with quotients
• Forcing, games and families of closed sets
• Forcing properties of ideals of closed sets
• scientific article; zbMATH DE number 7632691
• On fields and ideals connected with notions of forcing

Cites Work

• A very discontinuous Borel function
• Decomposing Baire functions
• Decomposing Borel sets and functions and the structure of Baire class 1 functions
• Descriptive set theory and definable forcing
• Forcing idealized

Cited In (10)

• Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
• Title not available (Why is no real title available?)
• Continuous relations and generalized $G_δ$ sets
• Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups
• Forcing with quotients
• Title not available (Why is no real title available?)
• Decomposing Borel functions using the Shore-Slaman join theorem
• On fields and ideals connected with notions of forcing
• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
• SET FORCING AND STRONG CONDENSATION FORH(ω₂)

This page was built for publication: \(\sigma \)-continuity and related forcings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391095)