arXiv:1610.07500 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords hindmans finite sums theorem, full finite sums theorem, simple combinatorial proof, proof-theoretic upper bounds, natural restriction Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset