BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Département de mathématiques et applications - ECPv6.2.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Département de mathématiques et applications
X-ORIGINAL-URL:https://www.math.ens.psl.eu
X-WR-CALDESC:évènements pour Département de mathématiques et applications
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20160327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20161030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20161129T160000
DTEND;TZID=Europe/Paris:20161129T173000
DTSTAMP:20260414T161923
CREATED:20161129T150000Z
LAST-MODIFIED:20211104T101923Z
UID:8322-1480435200-1480440600@www.math.ens.psl.eu
SUMMARY:Groupes valués construits sur  (Z\, +) avec une chaîne finie
DESCRIPTION:A 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.
URL:https://www.math.ens.psl.eu/evenement/groupes-values-construits-sur-z-avec-une-chaine-finie/
LOCATION:Batiment Sophie Germain Salle 116
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
END:VCALENDAR