研究方向
数理逻辑与集合论
教育背景
2001.09-2005.07, 中国科学技术大学数学系本科
2005.09-2010.07, 中国科学院数学与系统科学研究院博士
工作经历
2010.08-2013.09, 奥地利维也纳大学哥德尔逻辑学研究中心博士后
2013.12-今, 中国科学院数学与系统科学研究院助理研究员
学术论文
- Yinhe Peng, Liuzhen Wu. A Lindelöf group with non-Lindelöf square. 2017, preprint
- Victor Torres-Pérez. Liuzhen Wu. Strong Chang's Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles. Fundamenta Mathematicae. 236 (2017). 247-262
- Vincenzo Dimonte, Liuzhen Wu. A general tool for consistency results related to I1. European Journal of Mathematics. (2016) 2. 474–492
- Liuzhen Wu. Set forcing and strong condensation for H(ω2). The Journal of Symbolic Logic. Vol 80 (2015) Issue 01. 56-84
- Peter Holy, Philip Welch, Liuzhen Wu. Local Club Condensation and L-likeness, The Journal of Symbolic Logic. Vol 80 (2015) Issue 4, 1361-1378
- Víctor Torres-Pérez. Liuzhen Wu. Strong Chang's Conjecture and the tree property at ω2. Topology and its Applications, Vol 196 (2015), 999-1004
- Sy David Friedman, Liuzhen Wu. Definable normal measure. Annals of Pure and Applied Logic. Vol 166 (2015), 46-60
- Sy David Friedman, Liuzhen Wu, Lyubomyr Zdomskyy. Δ1-definability of the nonstationary ideal on successors, Fundamenta Mathematicae. 229 (2015). 231-254
- Wei Wang, Liuzhen Wu, Liang Yu. Cofinal maximal chains in the Turing degrees, Proceeding of American Mathematical Society. Vol 142 (2014). Num 4. 1391–1398