arXiv subjects
Publications and source records attributed to Liuzhen Wu.
We produce, relative to a ${\sf ZFC}$ model with a supercompact cardinal, a ${\sf ZFC}$ model of the Proper Forcing Axiom in which the nonstationary ideal on $ω_1$ is $Π_1$-definable in a parameter from $H_{\aleph_2}$.
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 results in [5] and [8].
We construct a model in which MA$_{ω_1}$(S)[S] holds and $\mathcal{K}_2$ fails. This shows that MA$_{ω_1}$(S)[S] does not imply $\mathcal{K}_2$ and answers an old question of Larson and Todorcevic in [3]. We also investigate different strong colorings in models of MA$_{ω_1}$(S)[S].
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 that the same conclusion holds under the assumption of Woodin's $(\ast)$-axiom. We further show that there are universes where $\BPFA$ holds and $\NS$ is $Σ_1(ω_1)$-definable. Last we show that if the canonical inner model with one Woodin cardinal $M_1$ exists, there is a universe where $\NS$ is saturated, $Σ_1(ω_1)$-definable and $\MA$ holds.
It is shown that the existence of an infinite set $A$ such that $A^2$ maps onto $2^A$ is consistent with $\mathsf{ZF}$.
Strongly Turing determinacy, or $\mathrm{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 the following consequences of Turing determinacy ($\mathrm{TD}$) and $\mathrm{sTD}$: (1). $\mathrm{ZF+TD}$ implies weakly dependent choice ($\mathrm{wDC}$). (2). $\mathrm{ZF+sTD}$ implies that every set of reals is measurable and has Baire property. (3). $\mathrm{ZF+sTD}$ implies that every uncountable set of reals has a perfect subset. (4). $\mathrm{ZF+sTD}$ implies that for any set of reals $A$ and any $ε>0$, (a) there is a closed set $F\subseteq A$ so that $\mathrm{Dim_H}(F)\geq \mathrm{Dim_H}(A)-ε$. (b) there is a closed set $F\subseteq A$ so that $\mathrm{Dim_P}(F)\geq \mathrm{Dim_P}(A)-ε$.
We construct a model of $\mathsf{ZF} + \mathsf{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.
We prove that a strong version of Chang's Conjecture, equivalent to the Weak Reflection Principle at $ω_2$, together with $2^ω=ω_2$, imply there are no $ω_2$-Aronszajn trees.
In this paper we provide a general tool to prove the consistency of $I1(λ)$ with various combinatorial properties at $λ$ typical at settings with $2^λ>λ^+$, that does not need a profound knowledge of the forcing notions involved. Examples of such properties are the first failure of GCH, a very good scale and the negation of the approachability property, or the tree property at $λ^+$ and $λ^{++}$.