C. Chong

collaborators

2 papers

math.LO2025

Definability over $B I^£_{2}^{0}$ -models

Chi Tat Chong, Tin Lok Wong

Let $M = (M, X)$ be a model of $\mathsf{RCA}_0+\text{$Î£^0_2$-bounding}$ in which $I^£_{2}^{0} (A)$ -induction fails for some $A \in X$ . We show that (i) if $\mathf…

math.LO2025

Independence and Induction in Reverse Mathematics

David Belanger, Chi Tat Chong, Rupert HÃ¶lzl +1

We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the exist…

Definability over BI^£20​-models

Independence and Induction in Reverse Mathematics

Definability over $B I^£_{2}^{0}$ -models