1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.LO2026
Free sets, thin sets and rainbows for barriers
Lorenzo Carlucci, Oriola Gjetaj
We formulate and prove the generalizations of Friedman's free set and thin set theorems and of the rainbow Ramsey theorem to colorings of barriers. We analyze the strength of these…
math.LO2026★ 1 cited
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.LO2026
Goodstein at the Second Threshold: An Independence Result for
Oriola Gjetaj, Andreas Weiermann
The classical Goodstein process, defined via hereditary base- exponential normal form, is a well-known example of a principle unprovable in Peano Arithmetic. In this paper, we g…