English

Forcing, games and families of closed sets

Logic 2009-10-14 v1

Abstract

We propose a new, game-theoretic, approach to the idealized forcing, in terms of fusion games. This generalizes the classical approach to the Sacks and the Miller forcing. For definable (Π11\mathbf{\Pi}^1_1 on Σ11)\mathbf{\Sigma}^1_1) \sigmaidealsweshowthatifa-ideals we show that if a \sigmaidealisgeneratedbyclosedsets,thenitisgeneratedbyclosedsetsinallforcingextensions.WealsoproveaninfinitedimensionalversionoftheSoleckidichotomyforanalyticsets.Amongexamples,weinvestigatethe-ideal is generated by closed sets, then it is generated by closed sets in all forcing extensions. We also prove an infinite-dimensional version of the Solecki dichotomy for analytic sets. Among examples, we investigate the \sigmaideal-ideal \Egeneratedbyclosednullsetsand generated by closed null sets and \sigma$-ideals connected with not piecewise continuous functions.

Keywords

Cite

@article{arxiv.0910.2318,
  title  = {Forcing, games and families of closed sets},
  author = {Marcin Sabok},
  journal= {arXiv preprint arXiv:0910.2318},
  year   = {2009}
}