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

Accepted and to appear in The Bulletin of Symbolic Logic

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

A principle of extended warrant

Yong Cheng

Under review after revision

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.

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