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

Equipe(s) : lm,
Responsables :Z. Chatzidakis, F. Oger, F. Point
Email des responsables : zoe.chatzidakis@imj-prg.fr
Salle : 1013
Adresse :Salle 1013
Description

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


Orateur(s) François Guignot - Paris 7,
Titre Groupes valués construits sur (Z, +) avec une chaîne finie
Date29/11/2016
Horaire16:00 à 17:30
Diffusion
RésumeA longueur de chaîne finie fixée N+2, nous axiomatisons la théorie commune à tous les groupes valués (Z, +, v, I), c'est-à-dire la théorie commune à toutes les structures obtenues en munissant le groupe additif de Z de prédicats pour N sous-groupes non nuls formant une chaîne strictement décroissante. Nous présentons un langage dans lequel tout modèle de cette théorie a l'élimination des quantificateurs. Ces deux résultats découlent d'un même lemme que l'on démontre en se ramenant à une paire de groupes (c'est-à-dire à une chaîne de valuation de longueur 3) : il s'agit alors, à l'intérieur d'un groupe assez saturé et élémentairement équivalent à (Z, +) de bien placer, conjointement, certains éléments et sous-groupes.
Salle1013
AdresseSalle 1013
© IMJ-PRG