研究方向
数理逻辑与集合论


教育背景
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





联系方式
北京市海淀区中关村东路55号
86-
mathlab@math.ac.cn