van der Waerdenの定理とRamseyの定理を紹介します．
van der Waerdenの定理とRamseyの定理は双方ともに十分に構造があるとその中からきれいな部分構造が取り出せるといった類の定理です．
両方ともに無限版と有限版がありますが，有限版と無限版をつなぐものとして，
compactness principle としても知られるRado's selection principleというものがあります．これも紹介しています．これはチコノフの定理の系として直ちに得られます．
なんかもう適当に取り留めなく書いております．
pdfはこれ
