Mathematische Logik 2
Dr. Heinrich Rolletschek
March 8, 2007
Thursday March 8, 8:30, K 009 D
Thursday, 9:15-10:45, HS 11.
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.
- Ultraproducts and applications.
Lecture notes will be handed out.
Oral exams will be given after the course.