On Interpretations of Arithmetic and Set Theory. - Richard Kaye; Tin Lok Wong (Notre Dame J. Formal Log., 2007)

Truth in generic cuts. - Richard Kaye; Tin Lok Wong (Ann. Pure Appl. Log., 2010)

The Model Theory of Generic Cuts. - Richard Kaye; Tin Lok Wong (Logic Without Borders, 2015)

Constant Regions in Models of Arithmetic. - Tin Lok Wong (Notre Dame J. Formal Log., 2015)

Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory. - Sy-David Friedman; Wei Li 050; Tin Lok Wong (Arch. Math. Log., 2016)

Unifying the model theory of first-order and second-order arithmetic via. - Ali Enayat; Tin Lok Wong (Ann. Pure Appl. Log., 2017)

Restricted notions of provability by induction. - Stefan Hetzl; Tin Lok Wong (CoRR, 2017)

Some observations on the logical foundations of inductive theorem proving. - Stefan Hetzl; Tin Lok Wong (Log. Methods Comput. Sci., 2017)

Ramsey's theorem for pairs, collection, and proof size. - Leszek Aleksander Kolodziejczyk; Tin Lok Wong; Keita Yokoyama (J. Math. Log., 2024)