arXiv:1710.10650 [math.LO]AbstractReferencesReviewsResources
Hypergraphs and proper forcing
Published 2017-10-29Version 1
Given a Polish space X and a countable family of analytic hypergraphs on X, I consider the sigma-ideal generated by Borel sets which are anticliques in at least one hypergraph in the family. It turns out that many of the quotient posets are proper. I investigate the forcing properties of these posets, certain natural operations on them, and prove some related dichotomies. For this broad class of posets, most fusion arguments and iteration preservation arguments can be replaced with simple combinatorial considerations concerning the hypergraphs.
Categories: math.LO
Related articles: Most relevant | Search more
Decomposing the real line into Borel sets closed under addition
arXiv:2108.06632 [math.LO] (Published 2021-08-15)
$I$-regularity, determinacy, and $\infty$-Borel sets of reals
arXiv:1909.00937 [math.LO] (Published 2019-09-03)
Borel sets without perfectly many overlapping translations, II