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

Copyright © 2003 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cakf-08.