Logique à Paris 2023

Talks and abstracts

1. Matteo Viale: What model companionship can say about the continuum problem.
   • Abstract
   • Talk
2. Franziska Jahnke: Ax–Kochen/Ershov principles and their applications.
   • Abstract
   • Talk
3. Ekaterina Fokina: Complexity of descriptions and relations in computable structure theory.
   • Abstract
   • Talk
4. Todor Tsankov: Infinitary continuous logic and applications to descriptive set theory.
   • Abstract
5. Paul Shafer: The Medvedev and Muchnik degrees.
   • Abstract
   • Talk
6. Aleksandra Kwiatkowska: Introduction to continuum theory and projective Fraïssé theory.
   • Abstract
   • Talk 1
   • Talk 2
7. Vincenzo Mantova: The quantifier $Q$ “there exist uncountably many”, quasi-minimality, and complex exponentiation.
   • Abstract
8. Sam van Gool: Logic, lattices, and profinite structures.
   • Abstract