---

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	Link
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)	DOI	arXiv
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)	DOI	arXiv
Forcing a setmodel of Z3+ Harrington's Principle	Yong Cheng	Mathematical Logic Quarterly, 61, No. 4-5, 274-287, 2015 (SCI)	DOI	arXiv
Indestructibility properties of remarkable cardinals	Yong Cheng Victoria Gitman	Archive of Mathematical Logic, 54:961-984, 2015 (SCI)	DOI	arXiv
The strong reflecting property and Harrington's Principle	Yong Cheng	Mathematical Logic Quarterly, 61, No. 4-5, 329-340, 2015 (SCI)	DOI	arXiv
The HOD Hypothesis and a supercompact cardinal	Yong Cheng	Mathematical Logic Quarterly, 63, No. 5, 462–472, 2017 (SCI)	DOI	arXiv
A method to compare different religious belief systems from the perspective of warrant	Yong Cheng	Logos and Pneuma, No. 48, 2018 (AHCI)	Link
Finding the limit of incompleteness I	Yong Cheng	Bulletin of Symbolic Logic, Volume 26, Issue 3-4 , December 2020 , pp. 268-286 (SCI)	DOI	arXiv
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.	DOI	arXiv
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)	Link
Current research on Gödel's incompleteness theorems	Yong Cheng	Bulletin of Symbolic Logic, Volume 27, Issue 2, June 2021, pp. 113-167 (SCI)	DOI	arXiv
On the depth of Gödel's incompleteness theorems	Yong Cheng	Philosophia Mathematica, Volume 30, Issue 2, June 2022, Pages 173–199 (SCI, AHCI)	DOI	arXiv
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)	Link
On infinity: from a foundational viewpoint	Yong Cheng	Invited refereed research paper (in Chinese), to appear	Pdf
On incompleteness: from a foundational viewpoint	Yong Cheng	Invited refereed research paper (in Chinese), to appear	Pdf
Effective inseparability and some applications in meta-mathematics	Yong Cheng	Journal of Logic and Computation, in press, DOI: 10.1093/logcom/exad023	DOI	arXiv
On the relationship between meta-mathematical properties of theories	Yong Cheng	Logic Journal of the IGPL, in press, DOI: 10.1093/jigpal/jzad015	DOI	arXiv
There are no minimal effective inseparable theories	Yong Cheng	Notre Dame Journal of Formal Logic, 64(4): 425-439, DOI: 10.1215/00294527-2023-0017, 2023.	DOI	arXiv
On Rosser theories	Yong Cheng	Preprint	arXiv
On the limit of the first incompleteness theorem: revisited	Yong Cheng	Preprint	arXiv
Some reflections on the relationship between logical incompleteness and concrete incompleteness	Yong Cheng	Preprint	arXiv

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

---