Investigations into the strength Hindman's theorem and its alternative formulations.

01 December 2020 → Ongoing
Regional and community funding: Special Research Fund
Research disciplines
  • Natural sciences
    • Combinatorics
    • Mathematical logic and foundations
Combinatorics Proof Theory Computability Reverse Mathematics Ramsey Theory Hindman's theorem
Project description

Hindman’s theorem is a milestone in Combinatorics which gives rise to long-standing open problems in Mathematical Logic. The study of Ramsey’s theorem and Goodstein sequences is closely related to the research on Hindman’s theorem and provides useful methods to adapt in this case. The project aims to investigate and classify the computational strength of Hindman’s theorem and its alternative formulations.