Blume Seminar über Modelltheorie
Topologische Dynamik und Modelltheorie
Abteilung für Mathematische Logik
Universität Freiburg, ss2016
Universitätssiegel
Tutor: Dr. Khani Dozent: Prof. Dr. Ziegler

Inhalt

Wir besprechen die Arbeit "Fraïssé Limits, Ramsey Theory, and topological Dynamics of Automorphism Groups (2005)" von Kechris, Pestov und Todorcevic. Von der Einführung des Artikels: "We study some connections between the Fraïssé theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of Automorphism groups of countable structures."

Literatur

Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups, Link

Zeit/Ort

Mi 10-12 Uhr, SR 218, Eckerstr. 1
Kapitel Thema Sprecher
1 Topological Dynamics Lösch und Claesssens
2,3 Fraïssé Theory and Structural Ramsey Theory Turk
4,5 Characterising Extremely Amenable Automorphism Groups by a Ramsey Property Meurin, Engert
6 Extremely Amenable Automorphism Groups Ammer, Grom
7 Universal Minimal Flows and Order Property Müller
8,9 Calculating Universal Minimal Flows and a Uniqueness Result about Order Property Studenten 8,9
10 Ramsey Degrees Student 10

Lauf des Seminars

  • 20 April: Michael Lösch, Definition von G-Fluss und G-Ambit. (Abstrakter) Existenzbeweis vom universellen minimalen G-Fluss.
  • 27 April: Michael Lösch,Konstruktion des größten G-Ambits und damit alternativer Existenzbeweis vom universellen minimalen G-Fluss, Beweis der Eindeutigkeit (bis auf Iso) des universellen minimalen G-Flusses (kurzer Beweis von Yonatan Gutman und Hanfeng Li).
  • 4 Mai, Andreas Claessens, Satz 1.5.
  • 11 Mai, Andreas Claessens, Rest des kapitels 1.