Mathematical logic seminar - January 29, 2007

Time: 12:00 - 13:20

Room: Porter Hall A 19 D

Speaker:     James Cummings   
Department of Mathematical Sciences
Carnegie Mellon University

Title: The Regularity Lemma IV: Separable realisations.

Abstract: Szemeredi's Regularity Lemma is a basic result in finite combinatorics. In a series of lectures I will outline a proof of this result which uses ideas from logic, and is due to Elek and Szegedy. No background in either logic or combinatorics will be assumed. In the fourth lecture we fill in some of the details from the proof sketched in Lecture III, notably the construction of the "separable realisations".
Here are the