Advanced topics in mathematical logic - infinite Ramsey theory
Master of Science Mathematics V5A6
- Prof. Dr. Stefan Geschke
Time and place
Tuesday and Thursday, both 12-14 at Endenicher Allee 60, room 0.006.
Model theory studies mathematical theories from an abstract point of view. After proving the basic theorems, we will consider applications to algebra and the connections between finite model theory and algorithmic complexity. The necessary background in logic can be provided during the lecture.