Infinite and Finite Model Theory

 Lectures: 11am on Mondays, Wednesdays and Fridays in MR5.

 This site contains materials relating to the second half of the course, on finite model theory.

 Copies of the transparencies used in the lectures are available here.
 The diagram on page 64 of the slides does not seem to come out in the above PDF file, so here is the page in postscript.

 Here is an excellent expository article on finite variable logics

 The first exercise sheet is here.

 The second exercise sheet is here.

 The third exercise sheet is here.