We show that Martin’s axiom for ω1ω1 dense sets is equivalent to its fragment asserting that every ccc poset has the Knaster property K33. On the other hand, we show that the dimension 3 in K33 is in some sense minimal.
生成讲解博客的中文版本
生成AI智能校验的中文版本