Séminaires : Théorie des modèles et groupes

Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 10h30 en salle  1016 (Sophie Germain) - sauf les 04/11, 02/12 et 20/01-changement de salle.

https://semgrp.imj-prg.fr pour plus de renseignements.

Abonnement à la liste de diffusion

Ahlbrandt and Ziegler show that the bi-interpretability class of a countably categorical theory is characterised by a topological group,

while for arbitrary theories Ben Yaacov has shown we can use topological groupoids.

These results can be expressed in the language of topos theory by equating the bi-interpretability class of a theory with its "classifying topos". 

In this talk, we introduce the notion of elimination of parameters and use it to give a classification of which topological groupoids can represent

the classifying topos of a given theory.