Logik und Theoretische Informatik

Mittwoch 25.9.
SR 2.066
10:00Michele SerraAutomorphism groups of Hahn fields and the canonical lifting property
10:20Pierre TouchardAx-Kochen-Ershov principle and classification of theories of henselian valued fields
10:40Daniel PalacínOn a question of Babai and Sós, a model theoretic approach
11:20Simon KnäuerFinite Relation Algebras and Constraint Satisfaction Problems
11:40Thomas Quinn-GregsonCSPs of ω-categorical algebras
SR 2.066
15:30Florian StarkeClassification of Smooth digraphs modulo pp-constructability
15:50Bernhard StoinskiDie Erstellung von Entscheidungsmodellen an Hand der Allgemeinen Dynamischen Logik
16:10Robert PassmannDe Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory
16:30Lorenzo GaleottiThe large cardinal strength of Löwenheim-Skolem theorems
16:50Sam SandersThe Plato and Gödel hierarchies
17:10Alexander ZimmermannSome problems with formalisations of mathematical proofs by means of sentential-logical derivations and their solutions

Sektionsleitung: Martin Hils, Dietrich Kuske