Hechler's theorem for the meager ideal
Logic
2007-05-23 v2
Abstract
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.
Cite
@article{arxiv.math/0209086,
title = {Hechler's theorem for the meager ideal},
author = {Tomek Bartoszynski and Masaru Kada},
journal= {arXiv preprint arXiv:math/0209086},
year = {2007}
}
Comments
some minor corrections