Tin Lok Wong

According to our database, Tin Lok Wong authored at least 9 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Ramsey's theorem for pairs, collection, and proof size.

Leszek Aleksander Kolodziejczyk, Tin Lok Wong, Keita Yokoyama

J. Math. Log., August, 2024

2017

Some observations on the logical foundations of inductive theorem proving.

Stefan Hetzl, Tin Lok Wong

Log. Methods Comput. Sci., 2017

Restricted notions of provability by induction.

Stefan Hetzl, Tin Lok Wong

CoRR, 2017

Unifying the model theory of first-order and second-order arithmetic via.

Ali Enayat, Tin Lok Wong

Ann. Pure Appl. Log., 2017

2016

Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory.

Sy-David Friedman, Wei Li, Tin Lok Wong

Arch. Math. Log., 2016

2015

Constant Regions in Models of Arithmetic.

Tin Lok Wong

Notre Dame J. Formal Log., 2015

The Model Theory of Generic Cuts.

Richard Kaye, Tin Lok Wong

Proceedings of the Logic Without Borders, 2015

2010

Truth in generic cuts.

Richard Kaye, Tin Lok Wong

Ann. Pure Appl. Log., 2010

2007

On Interpretations of Arithmetic and Set Theory.

Richard Kaye, Tin Lok Wong

Notre Dame J. Formal Log., 2007