2002/09/09 by Tomek Bartoszyński, Tomek Bartoszynski, Bartoszynski, Tomek +2 · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Rings, Modules, and Algebras #math.LO #msc:03E35
paper · pdf · doi:10.48550/arxiv.math/0209086
some minor corrections
arxiv created 2003/07/29 · arxiv updated 2009/11/30
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the real line which is order-isomorphic to Q with respect to set-inclusion. This is a variation of Hechler's classical result in the theory of forcing.