Yinhe Peng

activity

20202022

most citedA generalized Cantor theorem in ZF

1 citations · 1 across the 6 of their papers we have counts for

collaborators

Showing 2021Show all

2 papers · 1 filter

math.LO2021★ 1 cited

A generalized Cantor theorem in ZF

Yinhe Peng, Guozhen Shen

It is proved in $ZF$ (without the axiom of choice) that, for all infinite sets $M$ , there are no surjections from $ω \times M$ onto $P (M)$ .

math.LO2021

Some consequences of $TD$ and $sTD$

Yinhe Peng, Liuzhen Wu, Liang Yu

Strongly Turing determinacy, or $sTD$ , says that for any set $A$ of reals, if $\forall x \exists y \geq_{T} x (y \in A)$ , then there is a pointed set $P \subseteq A$ . We prove t…

A generalized Cantor theorem in ZF

Some consequences of TD and sTD

Some consequences of $TD$ and $sTD$