Homepage of Yong Cheng


Book

Title Author Publisher DOI
Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle Yong Cheng Springer Series: SpringerBriefs in Mathematics 10.1007/978-981-13-9949-7
Research on Gödel's incompleteness theorem Yong Cheng Monograph, Work in preparation

Refereed Journal Paper


Title Author Journal
Harrington's principle in higher order arithmetic
  • Yong Cheng
  • Ralf Schindler
The Journal of Symbolic Logic, Volume 80, Issue 02, pp 477-489, 2015

Large cardinals need not be large in HOD
  • Yong Cheng
  • Sy-David Friedman
  • Joel David Hamkins
Annals of Pure and Applied Logic, Volume 166, Issue 11, Pages 1186-1198, 2015
Forcing a setmodel of Z3+ Harrington's Principle
  • Yong Cheng
Mathematical Logic Quarterly, 61, No. 4-5, 274-287, 2015
Indestructibility properties of remarkable cardinals
  • Yong Cheng
  • Victoria Gitman
Archive of Mathematical Logic, 54:961-984, 2015
The strong reflecting property and Harrington's Principle
  • Yong Cheng
Mathematical Logic Quarterly, 61, No. 4-5, 329-340, 2015
The HOD Hypothesis and a supercompact cardinal
  • Yong Cheng
Mathematical Logic Quarterly, 63, No. 5, 462–472, 2017
A method to compare different religious belief systems from the perspective of warrant
  • Yong Cheng
Logos and Pneuma, No. 48, 2018
Finding the limit of incompleteness I
  • Yong Cheng
Accepted and to appear in The Bulletin of Symbolic Logic
Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
  • Yong Cheng
Studia Semiotyczne (a special issue titled ‘People, Machines and Gödel’), t. XXXIV, nr 1 (2020), s. 159-182
Current research on Gödel's incompleteness theorems
  • Yong Cheng
Accepted and to appear in The Bulletin of Symbolic Logic
A principle of extended warrant
  • Yong Cheng
Submitted
On the mathematical depth of Gödel's incompleteness theorem
  • Yong Cheng
Submitted
A R-like Globaliser for c.e. theories
  • Yong Cheng and Fedor Pakhomov
Work in progress