4 citations · 9 across the 6 of their papers we have counts for
4 papers · 1 filter
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 \…
(Extra)ordinary equivalences with the ascending/descending sequence principle
Marta Fiori-Carones, Alberto Marcone, Paul Shafer +1
We analyze the axiomatic strength of the following theorem due to Rival and Sands in the style of reverse mathematics. "Every infinite partial order of finite width contains an…
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…
Uniquely orderable interval graphs
Marta Fiori-Carones, Alberto Marcone
Interval graphs and interval orders are deeply linked. In fact, edges of an interval graphs represent the incomparability relation of an interval order, and in general, of differen…