REVIEW FOR FINAL: REVIEWFORFINAL

CLIQUE TALK: CLIQUE

COMPLEXITY OF RAMSEY TALK: COMP

Syllabus is in three parts:

- Finite Ramsey theory: NOTE: ramsey.PDF,
- Proof of the infinite Ramsey theorem on graphs: TALK: inframseytalk.PDF, NOTE: inframsey.PDF,
- Notes on computability. 650notes.PDF,
- Computable Ramsey Theory. TALK:compramseytalk.PDF, NOTES:compramsey.PDF.
- A Survey of Recursive combinatorics: reccomb.PDF Optional.
- ``Application'' of Ramsey theory to proving programs terminate. TALK: ramseypltalk.PDF, NOTES: ramseypl.PDF, A program that I proved terminated using Ramsey Theory that Douglas Ulrich did it by traditional methods! His writeup is here: ULRICH.PDF,
- Subsequence Languages: subseqtalk.PDF
- Infinite 3-hypergraph Ramsey Talk: inf3talk.PDF Paper: hyper.PDF
- Infinite Can Ramsey Theorem: An Exposition: TALK:infcanramseytalk.PDF NOTES:infcanramsey.PDF
- Talk on Appliation to Data stuctures yaotalk.PDF Original paper by Yao: tables.PDF
- Prob Method and some exact Ramsey Numbers: probtalk.pdf
- The paper that does the Diff problem with sqrt(n) constructively: BoseChowla.PDF
- Talk on The Complexity of Grid Problems gridnptalk.PDF Shortened version: gridnptalk.PDF
- Finite Can Ramsey Theory Talks
(1) Intro and PROOF ONE by Erdos-Rado Original Proof:
fcrertalk.PDF
(2) PROOF TWO: Mileti's:
fcrmilonetalk.PDF
(3) PROOF THREE: Mileti's:
fcrmiltwotalk.PDF
The paper by Mileti that has the proof I asked about on the hw
is at my website on Can Ramsey:
canramsey.html
Look for the paper
*The Canonical Ramsey Theorem and Compuability*by Mileti. What you want is Section 3. (I think my slides are better.) - Anagrams: misc.PDF
- BEST PROOF OF CAN RAMSEY FOR GRAPHS IN TERMS OF BOUNDS:
The three Lemmas Needed for Can Ramsey:
threelemmas.PDF
My notes on BEST CAN RAMSEY BOUND:
bestcanramsey.PDF
Original paper on this: goto the website dedicated
to Can Ramsey (I don't know why I build that)
canramsey.html
and look for the paper
*On Erdos-Rado Numbers*by Lefmann and Rodl. - Poly VDW talk: pvdwtalk.pdf
- VDW book: VDWbook.pdf
- Bounds on polyvdw square case with c=4: cequal4.pdf
- Can Ramsey on Polish spaces: CANRAMPOL.PDF
- Draft of paper on distances- MIGHT BE INCORRECT BILLDIST.PDF
- NEW Draft of paper on distances- MIGHT BE INCORRECT NEWBILLDIST.PDF A work in progress.
- Talk on Distance Problem for Erdos Conf ERDOSTALK.PDF
- Grid Coloring GRID.PDF

PAPER YOU NEED TO READ BY TUESDAY: flipped.PDF,