Structures algébriques et ordonnées

9:00 - 9:15 (15min)

Opening

9:15 - 9:55 (40min)

A non-model complete pfaffian chain

Observatoire

Gareth Jones

10:00 - 10:30 (30min)

Pause café

10:30 - 11:10 (40min)

Measurability of Definable Sets over Tame Ordered Fields

Observatoire

Laura Wirth

11:15 - 11:55 (40min)

Projective curves and weak second-order logic

Observatoire

Alessandro Berarducci

12:30 - 13:30 (1h)

Déjeuner

14:00 - 14:20 (20min)

admin. 1

Helping Konstanz speakers + Scient. Comm. pay for housing at the Observatoire's desk

14:25 - 15:05 (40min)

A Hierarchy of Expressive Power for Büchi Automata Over the Reals

Observatoire

Alexi Block-Gorman

15:10 - 15:50 (40min)

Model-theoretic tilting

Observatoire

Margarete Ketelsen

15:50 - 16:20 (30min)

Pause

16:20 - 17:00 (40min)

Lie methods for ω-categorical Engel groups

Observatoire

Christian D'Elbée

19:30 - 20:30 (1h)

Dîner

Programme