Computability and Definability, 236331

Spring 2008
Lectures and announcements

(Under construction, last update Mai 18, 2008)

---

• 22. May 2008: Three hours of lecture

  Motivation and general outlook.
  Second Order Logic.

  First lecture from 2008, to be posted after the lecture.

  First lecture from 2001
  ps-file, 4 slides per page.
  pdf-file, 4 slides per page.

  Second lecture from 2001
  ps-file, 4 slides per page.
  pdf-file, 4 slides per page.

  ---

• 29. May 2008: Three hours of lectures

  First order and second order logic.
  What can we say. What cant we say.
  Ehrenfeucht-Fraisse games.

  Third lecture from 2001
  ps-file, 4 slides per page.
  pdf-file, 4 slides per page.

  Forth lecture from 2001
  ps-file, 4 slides per page.
  pdf-file, 4 slides per page.

  ---