Robinson's theory R and a R-like Globaliser for c.e. theories
Oberwolfach Workshop: Proof Theory, Constructive Mathematics，Oberwolfach Research Institute for Mathematics, Germany
2020.11
Russell's contribution in logic and its inuence in modern logic
International Conference on Russell's Logic and Philosophy: For the Centenary of Russell's Visit to China and Lectures at Peking University，Peking University，China
2020.11
Exploring the incompleteness phenomenon
Workshop on Proof Theory and its Applications, Department of Computer Science, Swansea University, UK
2019.09
The limit of incompleteness for Weak Arithmetics
Logic Colloquium 2019, Prague, Czech Republic
2019.08
Note on some misinterpretations of Gödel's incompleteness theorems
16th International Congress on Logic, Methodology And Philosophy of Science and Technology, Prague, Czech Republic
2019.08
Finding the limit of incompleteness
Department of Mathematics, Logic seminar talk, Darmstadt University of Technology, Germany
2019.01
The current status of research on incompleteness
Institution of Mathematics, Logic seminar talk, University of Munich, Germany
2019.01
Popular talk on modern logic and three mathematical crisis (in Chinese)
School of Mathematics and Statistics, Wuhan University, China
2018.11
Incompleteness for higher order arithmetic and the limit of incompleteness
Workshop on Proof Theory and its Applications, Department of Mathematics, University of Ghent, Belgium
2018.09
Analysis of Gödel's Disjunctive Thesis
Section on philosophy of mathematics, XXIV World Congress of Philosophy, Beijing
2018.08
A principle for extended warrant
Section on philosophy of religion, XXIV World Congress of Philosophy, Beijing
2018.08
Finding the weakest theory for Gödel's First Incompleteness Theorem
Section on Logic, XXIV World Congress of Philosophy, Beijing
2018.08
Two questions about incompleteness
Computability in Europe 2018, Department of Computer Science, Kiel University, Germany
2018.08
The effect of The HOD Hypothesis on the behavior of large cardinals from V in HOD
Logic Colloquium 2018, the annual European summer meeting of the Association of Symbolic Logic, Department of Mathematics, University of Udine, Italy
2018.07
Incompleteness for higher order arithmetic: A specific example from set theory
Association for Symbolic Logic 2018 North American Annual Meeting, Department of Mathematics, Western Illinois University, USA
2018.05
The Grandson of Great Pumpkin Objection to Plantinga’s Reformed Epistemology
Wuhan-Oberlin international young philosopher round table meeting, Oberlin College, Ohio, USA
2016.07
Large cardinals need not be large in HOD
Colloquium Logicum 2014, Munich, Germany
2014.09
Indestructibility properties of remarkable cardinals
Institute of mathematical logic and foundational research, Muenster, Germany
2014.05
Force the failure of Harrington’s principle in three order arithmetic
Institute of mathematical logic and foundational research, Muenster, Germany
2013.10
Analysis of Martin-Harrington theorem in higher order arithmetic
Institute of mathematical logic and foundational research, Muenster, Germany
