Fragments of Martin's axiom

Abstract

We show that Martin's axiom for ${\omega }_1$ dense sets is equivalent to its fragment asserting that every ccc poset has the Knaster property K${}_3$. On the other hand, we show that the dimension 3 in K${}_3$ is in some sense minimal.