Talk

  • May 2018, Alternative set-theoretic foundations of mathematics, Qiannan Normal University for Nationalities, . 2018 Chinese Mathematical Logic Conference
  • April 2018, Natural Reducts of the Models of Set Theory, Fudan University, Shanghai. Fudan Logic Seminar
  • Mar 2018, Some Reducts of the Models of Set Theory, Virginia Commonwealth University, Richmond. VCU Analysis, Logic and Physics Seminar
  • Dec 2017, On unary union, The City University of New York (Graduate Center), New York. CUNY Set Theory Seminar
  • Oct 2016, On Woodin’s program, Nanjing University, Nanjing. \(\Delta_4\) Logic Workshop
  • Dec 2015, Frege on mathematical definition, Fudan University, Shanghai. 2015 philosophy of mathematics colloquium and the second phenomenology and philosophy of mathematics colloquium
  • Dec 2015, How to be a Platonist in mathematics, Zhejiang University, Hangzhou. Xixi logic forum
  • Dec 2014, On the poverty of the methods of concept analysis, Renming University of China, Beijing. 2014 phenomenology and philosophy of mathematics colloquium
  • Aug 2014, Mathematical logic as an analytic philosophy, Southwest University of China, Chongqing. The 9th conference of analytic philosophy: language and logic
  • Apr 2014, Mathematical logic as a style of philosophy, Nankai University, Tianjin. 2014 Nankai mathematical logic colloquium
  • Dec 2013, On the relativity of mathematical truth, Peking University, Beijing. 2013 philosophy of mathematics colloquium
  • Sep 2013, On absoluteness of mathematical truth, Sun Yat-sen University, Guangzhou. The 13th Asian logic conference
  • Jun 2013, What about the next order?, Fudan University, Shanghai. Workshop on metamathematics and metaphysics
  • Nov 2012, Is second-order realism tenable?, East China University of Political Science and Law, Shanghai. The Fourth Shanghai Young Scholar Forum for Logic
  • Nov 2012, Is multiverse view illusory?, Fudan University, Shanghai. 2012 Modern Logic Conference of China
  • Jun 2012, Gödel’s work on constructivistic mathematics, Fudan University, Shanghai. Workshop on the philosophy of Gödel’s and the philosophy of mathematics
  • Dec 2011, Set Theory Multiverse View, Beijing Normal University, Beijing. 2011 Frontier Forum for Social Sciences
  • Sep 2011, The Philosophy of Set Theory, Peking University, Beijing. Graduate Seminar
  • May 2010, Frege’s Program, Hilbert’s Program, and Gödel’s Program, Beijing Normal University, Beijing. PhD Forum of the History of Science and the Philosophy of Science
  • March 2010, Gödel’s Program and Large Cardinals, Peking University, Beijing. Graduate Seminar
  • November 2009, An Introduction to Forcing, Fudan University, Shanghai. Philosophy Forum for PhD Students from FDU, SYSU, WHU, and PKU
  • April 2009, Extending Dynamic Logic of Inference, Tsinghua University, Beijing. Workshop in Dynamic Logic
  • December 2008, Ramified Type Theory and Constructible Sets, Peking University, Beijing. Graduate Seminar