Liuzhen Wu

collaborators

2 papers

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…

math.LO2018

A model with everything except for a well-ordering of the reals

Jörg Brendle, Fabiana Castiblanco, Ralf Schindler +2

We construct a model of $ZF + DC$ containing a Luzin set, a Sierpiński set, as well as a Burstin basis but in which there is no a well ordering of the continuum.

Some consequences of TD and sTD

A model with everything except for a well-ordering of the reals

Some consequences of $TD$ and $sTD$