{"id":63,"date":"2020-07-03T13:17:40","date_gmt":"2020-07-03T17:17:40","guid":{"rendered":"http:\/\/sites.nd.edu\/ramsey-theory-2020\/?p=63"},"modified":"2020-07-03T13:17:40","modified_gmt":"2020-07-03T17:17:40","slug":"tuesday-of-week-5","status":"publish","type":"post","link":"https:\/\/sites.nd.edu\/ramsey-theory-2020\/2020\/07\/03\/tuesday-of-week-5\/","title":{"rendered":"Tuesday of week 5"},"content":{"rendered":"

NOTE<\/strong>: this is probably too much for one meeting, so some of this may\/will get put off until Thursday\/Friday.<\/p>\n

At the end of last time, I presented a simple example of compactness argument<\/em> — deducing a finite statement from an infinite one. We’ll start on Tuesday with a more non-trivial example of compactness — deducing finite Ramsey’s theorem from the infinite Ramsey theorem. Colin<\/strong><\/span> and Henry<\/strong><\/span> can present this. Everyone should also read this (it is Section 2.2).<\/p>\n

If you’ve seen some topology (or, even if you haven’t…), you can read Section 2.3, to learn why applications of Konig’s tree lemma are referred to as “compactness” arguments, but I don’t plan to spend any time talking about this. Instead, we will spend the next while looking at some infinite Ramsey theory, beyond just countable infinity.<\/p>\n

Everyone should read Section 2.4, that introduces ordinals, ordinal arithmetic (addition, multiplication, exponentiation), transfinite induction, and the axiom of choice, and do all the exercises (including verifying the various assertions made throughout to illustrate the definitions). For presentations:<\/p>\n