-continuity and related forcings

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

Authors: Marcin Sabok 

Publication date: 24 July 2009

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

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.

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

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

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)

Cites Work

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

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 that?)
• Decomposing Borel functions using the Shore–Slaman join theorem
• 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 that?)
• 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)