Liuzhen Wu

activity

20182023

most citedForcing Axioms and the Definabilty of the Nonstationary Ideal on

ω_{1}

2 citations · 2 across the 4 of their papers we have counts for

collaborators

4 papers

math.LO2023

PFA and the definability of the nonstationary ideal

Stefan Hoffelner, Paul Larson, Ralf Schindler +1

We produce, relative to a $ZFC$ model with a supercompact cardinal, a $ZFC$ model of the Proper Forcing Axiom in which the nonstationary ideal on $ω_{1}$ is $Π_{1}$ -definab…

math.LO2022★ 2 cited

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_{1}$

Stefan Hoffelner, Paul Larson, Ralf Schindler +1

We show that under $\BMM$ and "there exists a Woodin cardinal $"$ , the nonstationary ideal on $ω_{1}$ can not be defined by a $Σ_{1}$ formula with parameter $A \subset ω_{1}$ . We show tha…

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.

PFA and the definability of the nonstationary ideal

Forcing Axioms and the Definabilty of the Nonstationary Ideal on ω1​

Some consequences of TD and sTD

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

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_{1}$

Some consequences of $TD$ and $sTD$