scientific article

zbMath1358.03020MaRDI QIDQ3464620

Jeffry L. Hirst

Publication date: 27 January 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reverse mathematicsinduction on \(\Sigma_2^0\) formulaspigeonhole principle for trees

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Hindman's theorem for sums along the full binary tree, \(\Sigma^0_2\)-induction and the pigeonhole principle for trees, Reverse mathematics and colorings of hypergraphs, Restrictions of Hindman's theorem: an overview