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-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:20170326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20171029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20171219T160000
DTEND;TZID=Europe/Paris:20171219T173000
DTSTAMP:20260408T115938
CREATED:20171219T150000Z
LAST-MODIFIED:20211104T105936Z
UID:8438-1513699200-1513704600@www.math.ens.psl.eu
SUMMARY:Elimination des quantificateurs dans les D-groupes
DESCRIPTION:On sait que la théorie DCF_0 des corps différentiellement clos de caractéristique 0\, élimine les quantificateurs dans le langage { + \, – \, · \, 0 \, 1 \, D } des anneaux différentiels. Pierce et Pillay ont montré que tout ensemble définissable est une combinaison booléenne d’ensembles définis par des D-variétés. Une D-variété est une paire (V\, s)\, où V est une variété algébrique\, et s: V
URL:https://www.math.ens.psl.eu/evenement/elimination-des-quantificateurs-dans-les-d-groupes/
LOCATION:Sophie Germain salle 1016.
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
END:VCALENDAR