A Note on the Ordinal Analysis of mathbf RCA_0 + mathrm WO( mathbf σ ) RCA 0 + WO ( σ ). - Lorenzo Carlucci; Leonardo Mainardi; Michael Rathjen (CiE, 2019)

Regressive versions of Hindman's theorem. - Lorenzo Carlucci; Leonardo Mainardi (Arch. Math. Log., 2024)