Courses
Diploma Theses
FHS Projects
Curriculum
Applications Forum Talks

Search:

Time and place:

Monday 16:15-17:45, KG 712, beginning March 8 2004.

Contents:

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.
Hilbert's tenth problem.

Literature:

Lecture notes will be handed out.

This page is maintained by Heinrich Rolletschek .

Last updated on March 4, 2004