Séminaires : Séminaire de Logique Lyon-Paris

Equipe(s) : lm,
Responsables :O. Finkel, T. Ibarlucía, A. Khélif, S. Rideau, A. Vignati
Email des responsables :
Salle : https://bigbluebutton.imj-prg.fr/b/sil-gwg-gge
Adresse :Sophie Germain
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Pablo Cubides Kovacsics - HHU Düsseldorf,
Titre Pairs and pro-definability of type spaces
Date15/04/2020
Horaire16:00 à 17:00
Diffusion
Résume
Let T be a complete L-theory and M be a model of T. Let x be a tuple of variables and S_x(M) be the space of types over M with free variables x. In this talk we will be interested in the subset S_x^def(M) of S_x(M) of definable types. We will show that for various classical first order theories, including o-minimal expansions of divisible abelian groups, Presburger arithmetic, p-adically closed fields, real closed and algebraically closed valued fields and closed ordered differential fields, the space S_x^def(M)$ is pro-definable, i.e., a projective limit of definable sets.
Our general strategy consists in studying the class of stably embedded pairs of models of the T. Pro-definability is obtained by showing that such class is elementary in the language of pairs.
 
This is joint work with Jinhe Ye.
Sallehttps://bigbluebutton.imj-prg.fr/b/sil-gwg-gge
AdresseSophie Germain
© IMJ-PRG