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:20150329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20151025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20150306T110000
DTEND;TZID=Europe/Paris:20150306T110000
DTSTAMP:20260403T194523
CREATED:20150306T100000Z
LAST-MODIFIED:20211104T095553Z
UID:8217-1425639600-1425639600@www.math.ens.psl.eu
SUMMARY:Complex continuations of functions definable in R_{an\,exp} with a diophantine application.
DESCRIPTION:
URL:https://www.math.ens.psl.eu/evenement/complex-continuations-of-functions-definable-in-r_anexp-with-a-diophantine-application/
LOCATION:Salle W ENS
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20150306T141500
DTEND;TZID=Europe/Paris:20150306T141500
DTSTAMP:20260403T194523
CREATED:20150306T131500Z
LAST-MODIFIED:20211104T095539Z
UID:8215-1425651300-1425651300@www.math.ens.psl.eu
SUMMARY:Definable types in ACVF.
DESCRIPTION:Given a pair of models Kprec L of a first-order theory T\, the pair is said to be stable if the following property holds: all types over K which are realized in L are definable. Marker and Steinhorn characterized stable pairs of models of o-minimal theories as pairs K prec L where K is Dedekind complete in L. In this talk we provide a characterization of stable pairs of algebraically closed valued fields K prec L. To get a flavor of the topic\, different examples will be discussed and a brief introduction to some model-theoretic aspects of stable pairs will be given. This is a joint work with Françoise Delon.
URL:https://www.math.ens.psl.eu/evenement/definable-types-in-acvf/
LOCATION:ENS Salle W
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20150306T160000
DTEND;TZID=Europe/Paris:20150306T160000
DTSTAMP:20260403T194523
CREATED:20150306T150000Z
LAST-MODIFIED:20211104T095539Z
UID:8216-1425657600-1425657600@www.math.ens.psl.eu
SUMMARY:Lebesgue measure and integration theory on arbitrary real closed fields
DESCRIPTION:We establish for the category of semialgebraic sets and functions on arbitrary real closed fields a full Lebesgue measure and integration theory such that the main results from the classical setting hold. The construction involves methods from model theory\, o-minimal geometry\, valuation theory and the theory of ordered abelian groups. We set up the construction in such a way that it is uniquely determined by data that can be formulated completely in terms of the given real closed field. We apply our integration theory to questions on semialgebraic geometry and analysis in the non-standard setting and also to questions on parameterized integrals on the reals.
URL:https://www.math.ens.psl.eu/evenement/lebesgue-measure-and-integration-theory-on-arbitrary-real-closed-fields/
LOCATION:Salle W ENS
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
END:VCALENDAR