PART I: INFINITE RAMSEY ON GRAPHS

Jan 27 Intro to the Course

Jan 27 Infinite Ramsey Thm For Graphs, NOTES

Jan 29, Feb 3 Infinite Ram on Z

Feb 3 APP: To proving Programs Terminate, PAPER

Feb 5 The Thin Set Theorem

Feb 5 The BW Theorem via Ramsey

Feb 10 Inf Can Ram

Feb 12 Prim Rec Functions

Feb 12 Goodstein Sequences SLIDES

Feb 17 Well Quasi Orderings, NOTES, Paper with Proof of Kruskal Tree Theorem

Feb 17 Well Quasi Orderings: Set of all Finite Sets

Feb 19 Well Quasi Orderings: Kruskal Tree Thm and Graph Minor Thm

Feb 19 Well Quasi Orderings: Fast Growing Functions,Article on Fast Growing Functions

Feb 24,26 Well Quasi Orderings: VC,Alg needed for constructiv VC-k Alg

Feb 26 Sane FPT Algorithms for VC-k

March 3 AC and Equiv

March 3 Ramsey over the Reals

Song to Dance To!

March 5 Hat Game

March 5 Hat game Skit and Songs

March 5 I can see for miles and miles

March 5 Wqo and Subsequences

March 10 Infinite Ramsey Thm For 3-Hypergraphs

March 10 Finite Ram Thm For Graphs,NOTES,Hard Paper on Better Bounds for R(k)

March 10 App to Logic SLIDES

March 10 NOTES

March 10 Paper on Spectrum by GrandJean,Paper on Spectrum by Fagin,Finite 3-Hypergraph Ramsey

March 12 Finite 3-hypergraph Ramsey

March 12 There are no Better Bounds on 3-Hypergraph Ramsey

March 12 ,Infinite to Finite

March 12 Large Ramsey Theorem

March 24 Inf Can Ram

March 24 a-ary Can Ramsey

Convex Sets