|
VIDEO LIBRARY |
Workshop on Proof Theory, Modal Logic and Reflection Principles
|
|||
|
On the strength of Hindman's Theorem for bounded sums or unions L. Carlucci |
|||
Abstract: We report on recent results on the strength of restrictions of Hindman's Theorem to finite sums or unions, and variants theoreof. On the one hand we show that some weak restrictions already attain the known ACA Language: English |