Publications

Journal Papers

Yong Cheng. Isaacson's thesis on arithmetical truth.  Synthese 206, 140 (2025). https://doi.org/10.1007/s11229-025-05229-7. [PDF] 

Yong Cheng. The limitless First Incompleteness Theorem. Logic Journal of the IGPL, Volume 33, Issue 3, 2025. https://doi.org/10.1093/jigpal/jzaf012. [PDF] 

Yong Cheng. On Rosser theories.  Journal of Logic and Computation, Volume 35, Issue 5,  2025. https://doi.org/10.1093/logcom/exae085. [PDF] 

Yong Cheng. On the relationships between some meta-mathematical properties of arithmetical theories.  Logic Journal of the IGPL, Volume 32, Issue 5, Pages 880-908, 2024. https://doi.org/10.1093/jigpal/jzad015. [PDF] 

Yong Cheng. Effective inseparability and some applications in meta-mathematics.  Journal of Logic and Computation, Volume 34, Issue 6, Pages 1010–1031, 2024.  https://doi.org/10.1093/logcom/exad023. [PDF] 

Yong Cheng. There are no minimal effectively inseparable theories. Notre Dame J. Formal Logic,  64(4): 425-439, 2023. https://doi.org/10.1215/00294527-2023-0017. [PDF] 

Yong Cheng. Exploring the Foundational Significance of Gödel's Incompleteness Theorems.  Review of Analytic Philosophy, Vol. 2, No. 1, 2022. https://doi.org/10.18494/SAM.RAP.2022.0012. [PDF] 

Yong Cheng. On the depth of Gödel's incompleteness theorems. Philosophia Mathematica, Volume 30, Issue 2, pp. 173-199, 2022. https://doi.org/10.1093/philmat/nkab034. [PDF] 

Yong Cheng.  Current research on Gödel's incompleteness theorems. Bulletin of Symbolic Logic, Volume 27, Issue 2, pp. 113-167, 2021. https://doi.org/10.1017/bsl.2020.44. [PDF] 

Yong Cheng. The analysis of the mathematical depth of the incompleteness theorems.  The Journal of Philosophical Analysis (in Chinese), Volume 12, Issue 6, pp.137-155, 2021. [PDF] 

Yong Cheng. Finding the limit of incompleteness I. Bulletin of Symbolic Logic, Volume 26, Issue 3-4, pp. 268-286, 2020. https://doi.org/10.1017/bsl.2020.9. [PDF] 

Yong Cheng.  Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited. In a special issue titled 'People, Machines and Gödel' in Semiotic Studies, Vol 34, No 1, pp. 159-182, 2020. http://doi.org/10.26333/sts.xxxiv1.07. [PDF] 

Yong Cheng. A method to compare different religious belief systems from the perspective of warrant (in Chinese). Logos and Pneuma: Chinese Journal of Theology, No. 48, 169-194, 2018. [PDF] 

Yong Cheng. The HOD Hypothesis and a supercompact cardinal. Mathematical Logic Quarterly, 63, No. 5, 462-472, 2017. https://doi.org/10.1002/malq.201600007. [PDF] 

Yong Cheng. The strong reflecting property and Harrington's Principle. Mathematical Logic Quarterly, 61, No. 4-5, 329-340, 2015. https://doi.org/10.1002/malq.201400016. [PDF] 

Yong Cheng and Victoria Gitman. Indestructibility properties of remarkable cardinals. Archive of Mathematical Logic 54: 961-984, 2015. https://doi.org/10.1007/s00153-015-0453-8. [PDF] 

Yong Cheng. Forcing a set model of Third order arithmetic plus Harrington's Principle. Mathematical Logic Quarterly 61, No. 4-5, 274-287, 2015. https://doi.org/10.1002/malq.201300072. [PDF] 

Yong Cheng, Sy-David Friedman and Joel David Hamkins. Large cardinals need not be large in HOD. Annals of Pure and Applied Logic, Volume 166, Issue 11, pp.1186-1198, 2015. https://doi.org/10.1016/j.apal.2015.07.004. [PDF] 

Yong Cheng and Ralf Schindler. Harrington's principle in higher order arithmetic. The Journal of Symbolic Logic, Volume 80, Issue 02, pp. 477-489, 2015. https://doi.org/10.1017/jsl.2014.31. [PDF]