Fragments of Martin's axiom
Abstract
We show that Martin's axiom for ω1 dense sets is equivalent to its fragment asserting that every ccc poset has the Knaster property K3. On the other hand, we show that the dimension 3 in K3 is in some sense minimal.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.