Homepage of Yong Cheng


Books

Title Author Publisher DOI Link
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, in preparation

Refereed Journal Papers and Preprints

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

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 (SCI)
Forcing a setmodel of Z3+ Harrington's Principle
  • Yong Cheng
Mathematical Logic Quarterly, 61, No. 4-5, 274-287, 2015 (SCI)
Indestructibility properties of remarkable cardinals
  • Yong Cheng
  • Victoria Gitman
Archive of Mathematical Logic, 54:961-984, 2015 (SCI)
The strong reflecting property and Harrington's Principle
  • Yong Cheng
Mathematical Logic Quarterly, 61, No. 4-5, 329-340, 2015 (SCI)
The HOD Hypothesis and a supercompact cardinal
  • Yong Cheng
Mathematical Logic Quarterly, 63, No. 5, 462–472, 2017 (SCI)
A method to compare different religious belief systems from the perspective of warrant
  • Yong Cheng
Logos and Pneuma, No. 48, 2018 (AHCI)
Finding the limit of incompleteness I
  • Yong Cheng
Bulletin of Symbolic Logic, Volume 26, Issue 3-4 , December 2020 , pp. 268-286 (SCI)
Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
  • Yong Cheng
Invited refereed research paper in a special issue titled ‘People, Machines and Gödel’ in Studia Semiotyczne, Vol 34 No 1, pp. 159-182, 2020.
The analysis of the mathematical depth of the incompleteness theorems
  • Yong Cheng
The journal of Philosophical Analysis (in Chinese), Volume 12, Issue 6, pp.137-155, 2021 (CSSCI)
Current research on Gödel's incompleteness theorems
  • Yong Cheng
Bulletin of Symbolic Logic, Volume 27, Issue 2, June 2021, pp. 113-167 (SCI)
On the depth of Gödel's incompleteness theorems
  • Yong Cheng
Philosophia Mathematica, Volume 30, Issue 2, June 2022, Pages 173–199 (SCI, AHCI)
Exploring the Foundational Significance of Gödel's Incompleteness Theorems
  • Yong Cheng
Invited refereed research paper, Review of Analytic Philosophy, Vol. 2 No. 1 (2022)
On infinity: from a foundational viewpoint
  • Yong Cheng
Invited refereed research paper (in Chinese), to appear
On incompleteness: from a foundational viewpoint
  • Yong Cheng
Invited refereed research paper (in Chinese), to appear
Effective inseparability and some applications in meta-mathematics
  • Yong Cheng
Journal of Logic and Computation, in press, DOI: 10.1093/logcom/exad023
On the relationship between meta-mathematical properties of theories
  • Yong Cheng
Logic Journal of the IGPL, in press, DOI: 10.1093/jigpal/jzad015
There are no minimal effective inseparable theories
  • Yong Cheng
Notre Dame Journal of Formal Logic, in press, DOI: 10.1215/00294527-2023-0017.
On Rosser theories
  • Yong Cheng
Preprint
Finding the limit of incompleteness II
  • Yong Cheng
Preprint
Some reflections on the relationship between logical incompleteness and concrete incompleteness
  • Yong Cheng
Preprint

Reviews

  • Santos, Paulo Guilherme and Kahle, Reinhard, Variants of Kreisel's conjecture on a new notion of provability. Bull. Symb. Log., MR4386780.
  • James Walsh, A note on the consistency operator. Proc. Amer. Math. Soc, MR4080904 (MathSciNet).
  • 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).