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 Well Quasi Orderings: Vertex Cover

Feb 26 Well Quasi Orderings: Subsequence

AC and Equiv

Ramsey over the Reals