Mathematische Logik 2

Dr. Heinrich Rolletschek

February 27, 2009

Time and place:

Thursday, 8:30-10:00, K009D, beginning 5.3.2009

Contents:

This course is based on Logic 1 and contains some deeper results in the area. Topics to be covered are

• Gödel's completeness theorem and related results.
• Some further classical results (omitting types theorems, Craig's interpolation theorem).
• Gödel's incompleteness theorem and the undecidability of arithmetic.
• Elementary chains and applications.

Literature:

Lecture notes will be handed out.

Assessment:

Oral exams will be given after the course.