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

Equipe(s) : lm,
Responsables :T. Ibarlucia, F. Oger, F. Point
Email des responsables : francoise.point@imj-prg.fr
Salle : 1013
Adresse :Salle 1013
Description

Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 10h30 en salle  1013 (Sophie Germain) - https://semgrp.imj-prg.fr pour plus de renseignements.

Abonnement à la liste de diffusion


Orateur(s) Joshua Wrigley - IRIF,
Titre Eliminating parameters: representing topological groupoids of theories.
Date29/04/2025
Horaire10:30 à 12:00
Diffusion
Résume

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.

Salle1013
AdresseSalle 1013
© IMJ-PRG