Tin Lok Wong

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An isomorphism theorem for models of weak König's lemma without primitive recursion Journal of the European Mathematical Society (JEMS)	2026-05-15	Paper
Models of the Weak König Lemma Annals of the Japan Association for Philosophy of Science	2023-03-09	Paper
An isomorphism theorem for models of Weak K\"onig's Lemma without primitive recursion	2021-12-20	Paper
Ramsey's theorem for pairs, collection, and proof size	2020-05-14	Paper
Adding standardness to nonstandard arithmetic	2020-03-30	Paper
The model theory of generic cuts Logic Without Borders	2020-02-03	Paper
Where Pigeonhole Principles meet K\"onig Lemmas (available as arXiv preprint)	2019-12-07	Paper
On Wilkie and Paris's notion of fullness Fundamenta Mathematicae	2019-02-01	Paper
Some observations on the logical foundations of inductive theorem proving (available as arXiv preprint)	2017-12-11	Paper
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) Annals of Pure and Applied Logic	2017-08-29	Paper
Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory Archive for Mathematical Logic	2016-11-01	Paper
Interpreting weak König's lemma using the arithmetized completeness theorem Proceedings of the American Mathematical Society	2016-06-22	Paper
Constant regions in models of arithmetic Notre Dame Journal of Formal Logic	2015-11-30	Paper
Constant regions in models of arithmetic Notre Dame Journal of Formal Logic	2015-11-30	Paper
Truth in generic cuts Annals of Pure and Applied Logic	2011-08-26	Paper
On interpretations of arithmetic and set theory Notre Dame Journal of Formal Logic	2008-04-29	Paper

Research outcomes over time

This page was built for person: Tin Lok Wong