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:20160327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20161030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20161004T160000
DTEND;TZID=Europe/Paris:20161004T160000
DTSTAMP:20260414T230434
CREATED:20161004T140000Z
LAST-MODIFIED:20211104T101428Z
UID:8297-1475596800-1475596800@www.math.ens.psl.eu
SUMMARY:Questions de décidabilité pour des théories de modules sur certains anneaux de Bézout
DESCRIPTION:Nous introduisons la notion de modules l-valués sur un anneau commutatif de Bézout. Un exemple étant l’anneau lui-même muni de l’application vers son groupe de divisibilité (une l-valuation). Dans ce cadre et supposant une propriété de divisiblité\, nous montrons un résultat d’élimination relative des quantificateurs. Un des ingrédients est un théorème de Feferman-Vaught pour ces modules l-valués.On en déduit des résultats de décidabilité pour des théories de modules sur certains anneaux de Bézout dénombrables avec &#147
URL:https://www.math.ens.psl.eu/evenement/questions-de-decidabilite-pour-des-theories-de-modules-sur-certains-anneaux-de-bezout/
LOCATION:Sophie Germain salle 1016
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
END:VCALENDAR