Hechler’s theorem for the null ideal

@article{Burke2004HechlersTF,
  title={Hechler’s theorem for the null ideal},
  author={Maxim R. Burke and Masaru Kada},
  journal={Archive for Mathematical Logic},
  year={2004},
  volume={43},
  pages={703-722}
}
  • M. Burke, M. Kada
  • Published 15 November 2002
  • Mathematics
  • Archive for Mathematical Logic
Abstract.We prove the following theorem: For a partially ordered set Q such that every countable subset of Q has a strict upper bound, there is a forcing notion satisfying the countable chain condition such that, in the forcing extension, there is a basis of the null 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. The corresponding theorem for the meager ideal was established by… 
Ju l 2 00 3 Hechler ’ s theorem for the meager ideal
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,
Hechler's Theorem for tall analytic P-ideals
TLDR
A version of Hechler's classical theorem is proved that for each partially ordered set Q with the property that every countable subset of Q has a strict upper bound in Q, there is a ccc forcing notion such that in the generic extension for each tall analytic P-ideal a cofinal subset of is order isomorphic to (Q, ≤).
Pcf theory and cardinal invariants of the reals
The additivity spectrum ADD(I) of an ideal I is the set of all regular cardinals kappa such that there is an increasing chain {A_alpha:alpha<kappa\} in the ideal I such that the union of the chain is
Monotone hulls for N ∩ M
Using the method of decisive creatures [see Kellner and Shelah (J Symb Log 74:73–104, 2009)] we show the consistency of “there is no increasing ω2–chain of Borel sets and non(N ) = non(M) = non(N ∩
Around cofin
We show the consistency of “there is a nice σ–ideal I on the reals with add(I) = א1 which cannot be represented as the union of a strictly increasing sequence of length ω1 of σ-subideals”. This
Monotone hulls for $${\mathcal {N}}\cap {\mathcal {M}}$$N∩M
TLDR
Next, finite support iteration of ccc forcing notions are used to show that there may be monotone Borel hulls for the ideals M,N even if they are not generated by towers.

References

SHOWING 1-10 OF 20 REFERENCES
Hechler's theorem for the meager ideal
A proof of Hechler's theorem on embedding $\aleph_1$-directed sets cofinally into $(\omega^\omega,<^*)$
TLDR
A proof of Hechler's theorem that any $\aleph_1$-directed partial order can be embedded via a ccc forcing notion cofinally into $\omega^\omega$ ordered by eventual dominance is given.
Set Theory: On the Structure of the Real Line
This research level monograph reflects the current state of the field and provides a reference for graduate students entering the field as well as for established researchers.
On the existence of certain cofinal subsets of ω
  • T. Jech, editor, Axiomatic Set Theory, Proc. Symp. Pure Math., pages 155–173. Amer. Math. Soc.
  • 1974
A proof of Hechler’s theorem on embedding א1-directed sets cofinally into (ω, <)
  • Arch. Math. Logic,
  • 1997
Invariants of measure and category. Handbook of Set Theory (in preparation)
  • Invariants of measure and category. Handbook of Set Theory (in preparation)
A proof of Hechler’s theorem on embedding א1-directed sets cofinally into (ω
  • <). Arch. Math. Logic, 36:399–403
  • 1997
Kitami Institute of Technology 165 Koen-cho, Kitami, Hokkaido 090-8507 JAPAN E-mail
  • Kitami Institute of Technology 165 Koen-cho, Kitami, Hokkaido 090-8507 JAPAN E-mail
Mad families and iteration theory
  • Logic and algebra, 1–31, Contemp. Math., 302, Amer. Math. Soc., Providence, RI
  • 2002
...
...