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

Published refereed Papers

Title Author Journal Link
Harrington's principle in higher order arithmetic Yong Cheng and 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
 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.
Current research on Gödel's incompleteness theorems
  • Yong Cheng
 Bulletin of Symbolic Logic, Volume 27, Issue 2, June 2021, pp. 113-167.
On the depth of Gödel's incompleteness theorems
  • Yong Cheng
 Philosophia Mathematica, Volume 30, Issue 2, June 2022, Pages 173-199.
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
 A chapter in ``A research guide to contemporary philosophy of logic (in Chinese)", edited by Bo Chen, in press, to appear in National Social Science Fund Collection, People's Publishing House, China, 2023.
On incompleteness: from a foundational viewpoint
  • Yong Cheng
 A chapter in ``A research guide to contemporary philosophy of logic (in Chinese)", edited by Bo Chen, in press, to appear in National Social Science Fund Collection, People's Publishing House, China, 2023.
Effective inseparability and some applications in meta-mathematics
  • Yong Cheng
 Journal of Logic and Computation, Volume 34, Issue 6, Pages 1010–1031, 2024.
On the relationships between some meta-mathematical properties of arithmetical theories
  • Yong Cheng
 Logic Journal of the IGPL, Volume 32, Issue 5, Pages 880-908, 2024.
There are no minimal effective inseparable theories
  • Yong Cheng
 Notre Dame Journal of Formal Logic, 64(4): 425-439, 2023.
On Rosser theories Yong Cheng Journal of Logic and Computation, Volume 35, Issue 5, 2025.
The limitless First Incompleteness Theorem Yong Cheng Logic Journal of the IGPL, Volume 33, Issue 3, 2025.
Isaacson's thesis on arithmetical truth Yong Cheng Synthese 206, 140, 2025.

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).