Yinhe Peng

collaborators

4 papers

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 $S$ . Moreover, i…

math.LO2025

Fragments of Martin's axiom

Yinhe Peng

We show that Martin's axiom for $ω_{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 di…

math.RT2025

Noetherianity of polynomial rings up to group actions

Liping Li, Yinhe Peng, Zhengjun Yuan

Let $k$ be a commutative Noetherian ring, and $k [S]$ the polynomial ring whose indeterminates are parameterized by elements in a set $S$ . We show that $k [S]$ is Noetherian up to hi…

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…