IMJ-PRG
IMJ-PRG

Structures algébriques ordonnées

Année 2017- 2018

Responsables : F. Delon, M. Dickmann, D. Gondard, T. Servi.
Mardi de 14h00 à 15h45, salle 1016.
Page du séminaire et programme
Abonnement à la liste de diffusion

Voir en ligne : http://www.logique.jussieu.fr/semsao

Gabriel Lehéricy - Université Paris 7-Denis Diderot

Dérivations de type Hardy sur les corps de séries généralisées

mardi 16 janvier 2018 à 14:00

On sait grâce à Kaplansky que tout corps valué qui a même caractéristique que son corps résiduel est isomorphe à
un sous-corps d’un certain corps de séries généralisées. On peut alors se demander si un analogue du théorème de Kaplansky existe pour les corps
différentiellement valués, c’est-à-dire les corps valués munis d’une dérivation “de type Hardy” tels que les H-corps étudiés par Aschenbrenner et v.d.Dries. Cela nécéssite
de pouvoir définir une dérivation de type Hardy sur les corps de séries généralisées. On aimerait également que la dérivation satisfasse une condition de linéarité forte (c’est-à-dire que la dérivation commute
avec les sommes infinies) et une règle de Leibniz forte (la dérivation commute avec certains produits infinis). Dans cet exposé, nous
considérerons un corps de séries généralisées k((G)) et on donnera des conditions sur k et G pour l’existence d’une telle dérivation. On
donnera également une méthode pour définir la dérivation explicitement.

Tomás Ibarlucía - Université Paris 7-Denis Diderot

Quand l’ergodicité est une propriété du premier ordre

mardi 7 novembre 2017 à 14:00

Je présenterai des applications nouvelles de la logique continue à la théorie ergodique, notamment pour l’étude de phénomènes de rigidité associés à des actions fortement ergodiques de groupes dénombrables. Avant ceci j’introduirai les notions nécessaires tant de théorie ergodique que de logique continue.


INTRANET

WEBMAIL imj-prg.fr

MENTION LEGALES