40 citations · 49 across the 10 of their papers we have counts for
Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021
An isomorphism theorem for models of Weak König's Lemma without primitive recursion
Marta Fiori-Carones, Leszek Aleksander Kołodziejczyk, Tin Lok Wong +1
We prove that if and are countable models of the theory such that fails for some $A \in \mathcal{X} \cap \…
math.LO2021
Weaker cousins of Ramsey's theorem over a weak base theory
Marta Fiori-Carones, Leszek Aleksander Kołodziejczyk, Katarzyna W. Kowalik
The paper is devoted to a reverse-mathematical study of some well-known consequences of Ramsey's theorem for pairs, focused on the chain-antichain principle , the asc…