Mengzhou Sun

activity

20242026

collaborators

Showing 2026Show all

2 papers · 1 filter

math.LO2026

The cohesive and stable Ramsey theorems and proof size over a weak base theory

Leszek Aleksander Kołodziejczyk, Mengzhou Sun

We show that over the weak base theory $RCA_{0}^{*}$ , cohesive Ramsey's theorem for pairs $CRT_{2}^{2}$ implies exponential closure of the definable cut $I_{1}^{0}$ ,…

math.LO2026

Robinson Splitting Theorem and $Σ_{1}$ Induction

Yong Liu, Cheng Peng, Mengzhou Sun

The Robinson Splitting Theorem states that a c.e. degree $b$ splits over any low c.e. degree $c < b$ . We prove that a weaker version of this theorem holds…

The cohesive and stable Ramsey theorems and proof size over a weak base theory

Robinson Splitting Theorem and Σ1​ Induction

Robinson Splitting Theorem and $Σ_{1}$ Induction