Embedded Files
Monograph
Monograph
Yong Cheng. Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle. SpringerBriefs in Mathematics, Springer, 2019.
Yong Cheng. Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle. SpringerBriefs in Mathematics, Springer, 2019.
Yong Cheng. Gödel's Theorems and Beyond: The Landscape of Incompleteness. Forthcoming in the Synthese Library series, Springer.
Peer-Reviewed Journal Papers
Peer-Reviewed Journal Papers
Yong Cheng and Colin McLarty. On the depth of Wiles' proof of Fermat's Last Theorem, to appear in Philosophia Mathematica (A&HCI, SCI). [PDF]
Yong Cheng. Isaacson's thesis on arithmetical truth. Synthese (A&HCI, SCI, SSCI) 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 (SCI), Volume 33, Issue 3, 2025. https://doi.org/10.1093/jigpal/jzaf012. [PDF]
Yong Cheng. On Rosser theories. Journal of Logic and Computation (SCI), 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 (SCI), 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 (SCI), 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 (A&HCI, SCI), 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 (A&HCI, SCI), 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 (SCI), 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 (CSSCI), Volume 12, Issue 6, pp.137-155, 2021. [PDF]
Yong Cheng. Finding the limit of incompleteness I. Bulletin of Symbolic Logic (SCI), 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 (A&HCI), No. 48, 169-194, 2018. [PDF]
Yong Cheng. The HOD Hypothesis and a supercompact cardinal. Mathematical Logic Quarterly (SCI), 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 (SCI), 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 (SCI), 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 (SCI), 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 (SCI), 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 (SCI), Volume 80, Issue 02, pp. 477-489, 2015. https://doi.org/10.1017/jsl.2014.31. [PDF]
Peer-Reviewed Book Chapters
Peer-Reviewed Book Chapters
Yong Cheng. The Incompleteness Theorems: A Perspective from the Foundations of Mathematics (38 pages). In Bo Chen (Ed.), A Research Guide to Contemporary Philosophy of Logic. To appear in National Social Science Fund Collection, People's Publishing House, China. English version available at https://www.academia.edu/144452031. [PDF]
Yong Cheng. On infinity: A Perspective from the Foundations of Mathematics (41 pages). In Bo Chen (Ed.), A Research Guide to Contemporary Philosophy of Logic. To appear in National Social Science Fund Collection, People's Publishing House, China. English version available at https://www.academia.edu/164671450. [PDF]
Page updated
Google Sites
Report abuse