1. Faculty of Engineering and Physical Sciences
  2. Events
  3. School of Mathematics
  4. Research and innovation
  5. Pure Mathematics
  6. Indicator arguments and the strength of Ramsey's theorem

Pure Mathematics event

Indicator arguments and the strength of Ramsey's theorem

  • Date: Wednesday 1 February 2017, 16:00 – 17:30
  • Location: Mathematics Level 8, MALL 1 & 2, School of Mathematics
  • Type: Logic, Seminars, Pure Mathematics
  • Cost: Free
  • Download: Outlook, iCal

Keita Yokoyama, JAIST. Part of the logic seminar series.

The indicator argument is introduced by Paris in 1970\'s. It is a strong tool to analyze the proof-theoretic strength of axioms in arithmetic by connecting finite and infinite combinatorial principles.It plays a key role in the proof of the conservation result for Ramsey's theorem for pairs and two colors. In this talk, I will consider several variations of indicator arguments, and study the first-order strength of Ramsey's theorem for pairs and other combinatorial principles.

Keita Yokoyama, JAIST