3 papers
math.LO2025
Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of -induction: A pilot study
Lorenzo Carlucci, Giordano Celli
We study the relations under Weihrauch reducibility of the well-ordering preservation principle for the operator and the Ordered Ramsey Theorem. Both principles are…
math.LO2024
Ramsey-like theorems for the Schreier barrier
Lorenzo Carlucci, Oriola Gjetaj, Quentin Le Houérou +1
The family of finite subsets of the natural numbers such that is known as the Schreier barrier in combinatorics and Banach Space theory, and as the family of exa…
math.LO2024
Reductions of well-ordering principles to combinatorial theorems
Lorenzo Carlucci, Leonardo Mainardi, Konrad Zdanowski
A well-ordering principle is a principle of the form: If is well-ordered then is well-ordered, where is some natural operator transforming linear orders into linear…