Hilbert versus Hindman

DOI10.1007/S00153-011-0257-4MaRDI QIDQ661295zbMATH OpenOpenAlexFDO

Authors Jeffry L. Hirst

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

zbMATH Keywords

conservationfinitismHilbert's programpigeonhole principlereverse mathematics

Mathematics Subject Classification ID

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

Recommendations

• Hilbert
• HILBERT'S PROBLEMS
• scientific article; zbMATH DE number 2211754
• scientific article; zbMATH DE number 5575850
• scientific article; zbMATH DE number 6321725
• Hilbert and Einstein
• Hilbert and the internal logic of mathematics
• scientific article; zbMATH DE number 2074307
• scientific article; zbMATH DE number 2216773

Cites work

• Fragments of arithmetic
• Partial realizations of Hilbert's program
• Subsystems of second order arithmetic

Cited in

(10)

• A weak variant of Hindman's theorem stronger than Hilbert's theorem
• New bounds on the strength of some restrictions of Hindman's theorem
• Restrictions of Hindman's theorem: an overview
• Hindman's theorem for sums along the full binary tree, ^0_2-induction and the pigeonhole principle for trees
• Is there a symmetric version of Hindman's theorem?
• Belated Decision in the Hilbert-Einstein Priority Dispute
• Linear extensions of partial orders and reverse mathematics
• ``Weak yet strong restrictions of Hindman's finite sums theorem
• scientific article; zbMATH DE number 6321725 (Why is no real title available?)
• A recursive coloring function without _3⁰ solutions for Hindman's theorem

This page was built for publication: Hilbert versus Hindman

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q661295)