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

Equipe(s) : lm,
Responsables :S. Anscombe, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Françoise Point - FNRS - Mons,
Titre Expansions de corps dp-minimaux avec une derivee et applications aux theories de paires denses de corps
Date25/03/2019
Horaire15:10 à 16:10
Diffusion
RésumeL'etude des corps topologiques differentiels est traditionnellement divisee en deux branches, l'une traite le cas ou il y a une interaction (forte) entre la derivee et la topologie et l'autre ou le comportement de la derivee sera generique. Nous nous placons dans ce dernier cas. Sous certaines conditions sur une theorie modele-complete de corps topologiques, on peut axiomatiser la theorie T^*_D de la classe des expansions differentielles existentiellement closes.

Le but de l'expose est d'expliquer quelques resultats de transferts entre T et T^*_D et de montrer comment les appliquer aux theories de paires denses de modeles de T.

Il s'agit d'un travail en commun et en cours avec Pablo Cubides (Dresden).
Salle1013
AdresseSophie Germain
© IMJ-PRG