Bonn Mathematical Logic Group

Advanced topics in mathematical logic - infinite Ramsey theory

Master of Science Mathematics V5A6


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.


Last changed: 10 August 2009