This is a collection of slides related to my diploma thesis. I used some of them for

• a talk at the Kolloquium of the PhD Programme Logic in Computer Science
• a talk at the Arbeitstagung Bern - München
• a talk at the Studentenkonferenz related to the Jahrestagung 2000 of the DMV

However the slides are not in the order of a talk, but sorted by subject. As some of the slides were generated automatically from my diploma thesis they changed whenever I changed the relevant parts of my thesis. Moreover, I tend to reuse slides. So some slides might look different from what you saw in a talk.

• Introdcution, Examples and so on
• Definitions
• Sketch of proofs