Liuzhen Wu

collaborators

3 papers

math.LO2022

MA $_{ω_{1}} (S) [S]$ does not imply $K_{2}$

Yinhe Peng, Liuzhen Wu

We construct a model in which MA $_{ω_{1}}$ (S)[S] holds and $K_{2}$ fails. This shows that MA $_{ω_{1}}$ (S)[S] does not imply $K_{2}$ and answers an old question of Larso…

math.GN2022

L vector spaces and L fields

Yinhe Peng, Liuzhen Wu

We construct in ZFC an L topological vector space -- a topological vector space that is an L space -- and an L field -- a topological field that is an L space. This generalizes res…

math.LO2022

A surjection from square onto power

Yinhe Peng, Guozhen Shen, Liuzhen Wu

It is shown that the existence of an infinite set $A$ such that $A^{2}$ maps onto $2^{A}$ is consistent with $ZF$ .

MAω1​​(S)[S] does not imply K2​

L vector spaces and L fields

A surjection from square onto power

MA $_{ω_{1}} (S) [S]$ does not imply $K_{2}$