PART I: INFINITE RAMSEY ON Graphs & Hypergraphs

Intro to the Course

Infinite Ramsey Thm For Graphs, NOTES

Infinite Ramsey Thm For 3-Hypergraphs

APP: To proving Programs Terminate. OPT, PAPER

Infinite Ram on Z

omega-squared, Latex of omega-squared talk.

Inf Can Ram

a-ary Can Ramsey

HW 01, the Not-ONTO problem

Kruskal Tree Theorem, NOTES, Paper with Proof of Kruskal Tree Theorem

Computable Ramsey, My Notes on Computable Ramsey

AC and Equiv

Ramsey over the Reals

PART II: FINITE RAMSEY ON Graphs & Hypergraphs

Feb 4 Finite Ram Thm For Graphs,NOTES

Feb 6 App to Logic SLIDES,NOTES

OPTIONAL Paper on Spectrum by GrandJean

OPTIONAL Paper on Spectrum by Fagin

Feb 6 Your Top Math Songs, and Mine

Jan 29 Infinite Ram to Finite Ram For Graphs

Feb 13 Finite Ramsey Thm For 3-Hypergraphs-TOW bounds

Feb 13 Prim Rec, The Language for Bounds on -ary Hypegraph Ramsey

Feb 13 Goodstein Sequences SLIDES

Feb 18 Much Better Bounds on 3-Hypergraph Ramsey

Feb 18 Large Ramsey Theorem