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

PART II: FINITE RAMSEY: Graphs & 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 Spring Break Talk

March 24 Inf Can Ram

March 24 a-ary Can Ramsey

March 24 Computability Intro

March 24 Computabile Ramsey

March 24 Application to Geometry

March 26 Review Thin Set Theorem

March 26 Review of Ramsey on Bipartite (used in HW)

March 26 Review of wqo for miderm

March 31 Midterm

April 2 Application to Geometry

April 2 Convex Sets

April 7 Two Triangles

PART IV: VDW and related.

Grid Coloring SLIDES

OPTIONAL 15 by 15

Sq Theorem

VDW SLIDES

Are There Better Bounds on the VDW Numbers?

Poly VDW SLIDES,

Poly VDW Cheat Sheet I: Statement of Lemmas

April 17 Poly VDW Cheat Sheet II: Useful Notation

April 17 Write up of Lemma for Quad VDW

April 17 Small Poly VDW

Folkman's thm SLIDES

April 24 Extended VDW Theorem

April 24 Application to NT

April 29 You'll See

April 29 Rado's thm SLIDES

PART V: EUCLIDEIAN RAMSEY THEORY (IN PROGRESS-DO NOT READ)

Intro to ERT and Chrom Numb of Plane

Unit Square and R12

C4 Ramsey. Needed for coloring R6 and getting mono U-sq

Alt Proof. OPT

Talk. Coloring R6, getting Mono Unit Sq,

PAPER coloring R4, gettting Unit Sq

Open Problems Col on Unit Sq

Area 1

There is a mono equil-Tri of size… OPT

L2-L2 WRITEUP

L2-L3

DIDN"T DO L3-Lbig

DIDN"T DO L3bigpaper.pdf WRITEUP

DIDN"T DO L2bigpaper.pdf WRITEUP

DIDN"T DO cheatL2bigpaper.pdf WRITEUP

NEED THIS has sign change lemma