(Nicht)effektive und (über)abzählbare Versionen des Satzes von Ramsey

Dietrich Kuske (CNRS, Université Bordeaux 1)

Der Satz von Ramsey besagt, dass jeder unendliche Graph einen unendlichen vollständigen oder diskreten Teilgraphen enthält. Dieser Satz kann in verschiedener Hinsicht verfeinert werden:
  1. Man kann Graphen betrachten, die in diversen Formalismen endlich beschrieben sind.
  2. Man kann sich hierin für "einfache" Teilgraphen interessieren.
  3. Man kann nach der Existenz überabzählbarer Teilgraphen mit den genannten Eigenschaften fragen.
  4. Man kann all diese Fragen für Hypergraphen stellen.
Hierzu werden im Vortrag alte und neue Ergebnisse und Beweistechniken vorgestellt.