Tin Lok Wong

Available identifiers

Publication	Date of Publication	Type
Models of the Weak König Lemma	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
https://portal.mardi4nfdi.de/entity/Q5222082	2020-03-30	Paper
The Model Theory of Generic Cuts	2020-02-03	Paper
Where Pigeonhole Principles meet K\"onig Lemmas	2019-12-07	Paper
On Wilkie and Paris’s notion of fullness	2019-02-01	Paper
Some observations on the logical foundations of inductive theorem proving	2017-12-11	Paper
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)	2017-08-29	Paper
Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory	2016-11-01	Paper
Interpreting weak König's lemma using the arithmetized completeness theorem	2016-06-22	Paper
Constant regions in models of arithmetic	2015-11-30	Paper
Truth in generic cuts	2011-08-26	Paper
On interpretations of arithmetic and set theory	2008-04-29	Paper

This page was built for person: Tin Lok Wong