2 papers
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…
math.LO2022
A surjection from square onto power
Yinhe Peng, Guozhen Shen, Liuzhen Wu
It is shown that the existence of an infinite set such that maps onto is consistent with .