Hindman’s theorem for sums along the full binary tree, $$\Sigma ^0_2$$-induction and the Pigeonhole principle for trees
Crossref DOI link: https://doi.org/10.1007/s00153-021-00814-2
Published Online: 2022-01-21
Published Print: 2022-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Carlucci, Lorenzo http://orcid.org/0000-0001-8238-0315
Tavernelli, Daniele
Text and Data Mining valid from 2022-01-21
Version of Record valid from 2022-01-21
Article History
Received: 10 June 2020
Accepted: 27 October 2021
First Online: 21 January 2022