Advanced topics in mathematical logic - infinite Ramsey theory

Master of Science Mathematics V5A6

Organizer

• Prof. Dr. Stefan Geschke

Time and place

Tuesday and Thursday, both 12-14 at Endenicher Allee 60, room 0.006.

Contents

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.

Link

http://www.hausdorff-center.uni-bonn.de/people/geschke/