Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Joshua Wringley - IRIF,
Titre Bi-interpretability, topological groupoids, and toposes
Date28/04/2025
Horaire15:45 à 16:45
Diffusion
Résume

A classical result of model theory asserts that a countably categorical theory is characterised, up to bi-interpretability, by the topological automorphism group of its unique countable model.  Ben Yaacov has shown that the countable categoricity assumption can be dropped if we instead use topological groupoids.

In this talk, we present a framework to understand and generalise these results using the language of topos theory.  We describe a condition for when two topological groupoids represent bi-interpretable theories that generalises quasi-homeomorphisms of spaces.

Salle1013
AdresseSophie Germain
© IMJ-PRG