|
Thursday March 10, 8:30, J311B.
Wednesday, 8:30-10:00, BA 9907.
This course is based on Logic I 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 theorem, theorems by Craig, Robinson and Beth).
- Gödel's incompleteness theorem and the undecidability of elementary arithmetic.
- Ultraproducts and applications.
Lecture notes will be handed out.
|
|