Homepage of Yong Cheng


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

Refereed Journal Papers and Preprints

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
Bulletin of Symbolic Logic, Volume 26 , Issue 3-4 , December 2020 , pp. 268-286
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
The analysis of the mathematical depth of Gödel's incompleteness theorems
  • Yong Cheng
Submitted and to appear
On the depth of Gödel's incompleteness theorems
  • Yong Cheng
Under review after revision
A R-like Globaliser for c.e. theories
  • Yong Cheng and Fedor Pakhomov
Work in progress
Finding the limit of incompleteness II
  • Yong Cheng
Work in preparation

Published Abstracts

  • Yong Cheng, Robinson's theory R and a R-like Globaliser for c.e. theories, Extended abstract to appear in the Oberwolfach Report series, 2021.
  • Reviews

  • Albert Visser: From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. J. Logic Comput, MR4009518 (MathSciNet).
  • Kameryn J. Williams: Minimum models of second-order set theories. J. Symb. Log, MR3961613 (MathSciNet).
  • Peter Holy, Philipp Lücke and Ana Njegomir: Small embedding characterizations for large cardinals. Ann. Pure Appl. Logic, MR3913154 (MathSciNet).
  • Albert Visser: The interpretation existence lemma. Feferman on foundations, Outst. Contrib. Log., 13, Springer, MR3792431 (MathSciNet).
  • Makoto Kikuchi and Taishi Kurahashi: Generalizations of Gödel's incompleteness theorems for Σn-definable theories of arithmetic. Rev. Symb. Log, MR3746461 (MathSciNet).
  • Volker Halbach and Shuoying Zhang: Yablo Without Gödel. Analysis, MR3671442 (MathSciNet).
  • Stewart Shapiro: Idealization, mechanism, and knowability. Gödel's disjunction, 189–207, Oxford Univ. Press, MR3616782 (MathSciNet).
  • A. C. Paseau: Letter games: a metamathematical taster. Math. Gaz, MR3563587 (MathSciNet).
  • Räz, Tim Say my name: an objection to ante rem structuralism. Philos. Math, MR3335263 (MathSciNet).
  • Cook, Roy T. The Yablo paradox. An essay on circularity. Oxford University Press, MR3410339 (MathSciNet).