Showing 2026Show all
2 papers · 1 filter
math.LO2026
The strength of Ramsey's theorem for -large sets
Lorenzo Carlucci, Andrea Volpi, Konrad Zdanowski
We calibrate the reverse mathematical strength of a family of extensions of Ramsey's theorem to finite colorings of certain subsets of the natural numbers of unbounded finite dimen…
math.LO2026
Reverse mathematics and dimension of posets
Alberto Marcone, Andrea Volpi
Order dimension theory measures the complexity of partially ordered sets by quantifying how far they are from being linearly ordered. In this paper we study classical bounding resu…