Showing math.LOShow all
3 papers · 1 filter
math.LO2025
A ccc indestructible construction with CH
Yinhe Peng
We introduce a variant of the Kurepa family. We then use one such family to construct a ccc indestructible property associated with a complete coherent Suslin tree . Moreover, i…
math.LO2025
Fragments of Martin's axiom
Yinhe Peng
We show that Martin's axiom for dense sets is equivalent to its fragment asserting that every ccc poset has the Knaster property K. On the other hand, we show that the di…
math.LO2024
Distinguishing Martin's axiom from its restrictions
Yinhe Peng
We introduce an iteration of forcing notions satisfying the countable chain condition with minimal damage to a strong coloring. Applying this method, we prove that Martin's axiom i…