Hilbert versus Hindman
From MaRDI portal
Publication:661295
DOI10.1007/s00153-011-0257-4zbMath1239.03038OpenAlexW2015534989MaRDI QIDQ661295
Publication date: 10 February 2012
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-011-0257-4
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (6)
Hindman's theorem for sums along the full binary tree, \(\Sigma^0_2\)-induction and the pigeonhole principle for trees ⋮ “Weak yet strong” restrictions of Hindman’s Finite Sums Theorem ⋮ A weak variant of Hindman's theorem stronger than Hilbert's theorem ⋮ New bounds on the strength of some restrictions of Hindman's theorem ⋮ Linear extensions of partial orders and reverse mathematics ⋮ Restrictions of Hindman's theorem: an overview
Cites Work
This page was built for publication: Hilbert versus Hindman
