Carlucci Lorenzo

Presentations in Math-Net.Ru

1. On the strength of Hindman's Theorem for bounded sums or unions
   L. Carlucci
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 17, 2017 11:10