3 papers
math.LO2025
Definability over -models
Chi Tat Chong, Tin Lok Wong
Let be a model of $\mathsf{RCA}_0+\text{$Σ^0_2$-bounding}$ in which -induction fails for some . We show that (i) if $\mathfra…
math.LO2024
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…
math.LO2021
Conservation Strength of The Infinite Pigeonhole Principle for Trees
Chitat Chong, Wei Wang, Yue Yang
Let be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let a…