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:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220318T140000
DTEND;TZID=Europe/Paris:20220318T153000
DTSTAMP:20260406T054909
CREATED:20220311T152633Z
LAST-MODIFIED:20220311T152633Z
UID:15421-1647612000-1647617400@www.math.ens.psl.eu
SUMMARY:Interdefinability and compatibility in certain o-minimal expansions of the real field
DESCRIPTION:Let us say that a real function f is o-minimal if the expansion (R\,f) of the real field by f is o-minimal. A function g is definable from f if g is definable in (R\,f). Two o-minimal functions are compatible if there exists an o-minimal expansion M of the real field in which they are both definable. I will discuss the o-minimality\, the interdefinability and the compatibility of two special functions\, Euler’s Gamma and Riemann’s Zeta\, restricted to the reals. If time allows it\, I will present a general technique for establishing whether a function is definable or not in a given o-minimal expansion of the reals. Joint work with J.-P. Rolin and P. Speissegger.
URL:https://www.math.ens.psl.eu/evenement/interdefinability-and-compatibility-in-certain-o-minimal-expansions-of-the-real-field/
LOCATION:Zoom
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220318T154500
DTEND;TZID=Europe/Paris:20220318T171500
DTSTAMP:20260406T054909
CREATED:20220318T144518Z
LAST-MODIFIED:20220311T152909Z
UID:15394-1647618300-1647623700@www.math.ens.psl.eu
SUMMARY:Tameness beyond o-minimality (in expansions of the real ordered additive group)
DESCRIPTION:In his influential paper “Tameness in expansions of the real field” from the early 2000s\, Chris Miller wrote: \n“ What might it mean for a first-order expansion of the field of real numbers to be tame or well behaved? In recent years\, much attention has been paid by model theorists and real-analytic geometers to the o-minimal setting: expansions of the real field in which every definable set has finitely many connected components. But there are expansions of the real field that define sets with infinitely many connected components\, yet are tame in some well-defined sense […]. The analysis of such structures often requires a mixture of model-theoretic\, analytic-geometric and descriptive set-theoretic techniques. An underlying idea is that first-order definability\, in combination with the field structure\, can be used as a tool for determining how complicated is a given set of real numbers.” \nMuch progress has been made since then\, and in this talk I will discuss an updated account of this research program. I will consider this program in the larger generality of expansions of the real ordered additive group (rather than just in expansions of the real field as envisioned by Miller). In particular\, I will mention in this context recent joint work with Erik Walsberg\, in which we produce an interesting tetrachotomy for such expansions.
URL:https://www.math.ens.psl.eu/evenement/tameness-beyond-o-minimality-in-expansions-of-the-real-ordered-additive-group/
LOCATION:Zoom
CATEGORIES:Séminaire Géométrie et théorie des modèles
END:VEVENT
END:VCALENDAR