| Raum | Beginn | Name | Titel | |
|---|---|---|---|---|
Mittwoch 25.9. | SR 2.066 | 10:00 | Michele Serra | Automorphism groups of Hahn fields and the canonical lifting property |
| 10:20 | Pierre Touchard | Ax-Kochen-Ershov principle and classification of theories of henselian valued fields | ||
| 10:40 | Daniel Palacín | On a question of Babai and Sós, a model theoretic approach | ||
| 11:20 | Simon Knäuer | Finite Relation Algebras and Constraint Satisfaction Problems | ||
| 11:40 | Thomas Quinn-Gregson | CSPs of ω-categorical algebras | ||
SR 2.066 | 15:30 | Florian Starke | Classification of Smooth digraphs modulo pp-constructability | |
| 15:50 | Bernhard Stoinski | Die Erstellung von Entscheidungsmodellen an Hand der Allgemeinen Dynamischen Logik | ||
| 16:10 | Robert Passmann | De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory | ||
| 16:30 | Lorenzo Galeotti | The large cardinal strength of Löwenheim-Skolem theorems | ||
| 16:50 | Sam Sanders | The Plato and Gödel hierarchies | ||
| 17:10 | Alexander Zimmermann | Some problems with formalisations of mathematical proofs by means of sentential-logical derivations and their solutions |
Sektionsleitung: Martin Hils, Dietrich Kuske