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

Studia Semiotyczne (a special issue titled ‘People, Machines and Gödel’), t. XXXIV, nr 1 (2020), s. 159-182

Current research on Gödel's incompleteness theorems

Yong Cheng

Accepted and to appear in The Bulletin of Symbolic Logic

The analysis of the mathematical depth of Gödel's incompleteness theorems

Yong Cheng

Submitted and to appear

On the depth of Gödel's incompleteness theorems

Yong Cheng

Under review after revision

A R-like Globaliser for c.e. theories

Yong Cheng and Fedor Pakhomov

Work in progress

Finding the limit of incompleteness II

Yong Cheng

Work in preparation

Published Abstracts

Yong Cheng, Robinson's theory R and a R-like Globaliser for c.e. theories, Extended abstract to appear in the Oberwolfach Report series, 2021.

Reviews

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