Hechler's theorem for meager and null ideals
by
Masaru Kada
Kitami Institute of Technology
Coauthors: Tomek Bartoszynski

Hechler's theorem says that, for any \aleph₁-directed partially ordered set Q, there is a ccc forcing notion P such that, in the forcing model by P, the partially ordered set (\omega^\omega, < ^*) has a cofinal subset which is order-isomorphic to Q. We prove that the statements similar to the above hold for the meager ideal and the null ideal of the real line with respect to set-inclusion.

Date received: March 9, 2003