REVIEW FOR FINAL: REVIEWFORFINAL

CLIQUE TALK: CLIQUE

COMPLEXITY OF RAMSEY TALK: COMP

Syllabus is in three parts:

Documents and Slides

1. Finite Ramsey theory: NOTE: ramsey.PDF,
2. Proof of the infinite Ramsey theorem on graphs: TALK: inframseytalk.PDF, NOTE: inframsey.PDF,
3. Notes on computability. 650notes.PDF,
4. Computable Ramsey Theory. TALK:compramseytalk.PDF, NOTES:compramsey.PDF.
5. A Survey of Recursive combinatorics: reccomb.PDF Optional.
6. ``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,
7. Subsequence Languages: subseqtalk.PDF
8. Infinite 3-hypergraph Ramsey Talk: inf3talk.PDF Paper: hyper.PDF
9. Infinite Can Ramsey Theorem: An Exposition: TALK:infcanramseytalk.PDF NOTES:infcanramsey.PDF
10. Talk on Appliation to Data stuctures yaotalk.PDF Original paper by Yao: tables.PDF
11. Prob Method and some exact Ramsey Numbers: probtalk.pdf
12. The paper that does the Diff problem with sqrt(n) constructively: BoseChowla.PDF
13. Talk on The Complexity of Grid Problems gridnptalk.PDF Shortened version: gridnptalk.PDF
14. 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.)
15. Anagrams: misc.PDF
16. 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.
17. Poly VDW talk: pvdwtalk.pdf
18. VDW book: VDWbook.pdf
19. Bounds on polyvdw square case with c=4: cequal4.pdf
20. Can Ramsey on Polish spaces: CANRAMPOL.PDF
21. Draft of paper on distances- MIGHT BE INCORRECT BILLDIST.PDF
22. NEW Draft of paper on distances- MIGHT BE INCORRECT NEWBILLDIST.PDF A work in progress.
23. Talk on Distance Problem for Erdos Conf ERDOSTALK.PDF
24. Grid Coloring GRID.PDF

HOMEWORKS