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