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:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220301T160000
DTEND;TZID=Europe/Paris:20220301T173000
DTSTAMP:20260426T121819
CREATED:20220223T142159Z
LAST-MODIFIED:20220309T160937Z
UID:15319-1646150400-1646155800@www.math.ens.psl.eu
SUMMARY:Existentially closed measure-preserving actions of free groups
DESCRIPTION:I will discuss a joint work with Alexander Berenstein and Ward Henson\, in which we show that the theory of probability algebras with two automorphisms has a model completion\, which moreover has quantifier elimination and is stable. We also exhibit two non-isomorphic (but approximately isomorphic) models of the model completion.\nMore generally\, we give a sufficient set of conditions for the axiomatizability (in continuous logic) of the existentially closed actions of a free group on a separably categorical\, stable structure.\nI will also mention a number of open questions.
URL:https://www.math.ens.psl.eu/evenement/existentially-closed-measure-preserving-actions-of-free-groups/
LOCATION:Sophie Germain salle 1016.
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220315T160000
DTEND;TZID=Europe/Paris:20220315T173000
DTSTAMP:20260426T121819
CREATED:20220309T160534Z
LAST-MODIFIED:20220309T160950Z
UID:15402-1647360000-1647365400@www.math.ens.psl.eu
SUMMARY:Curve-excluding fields
DESCRIPTION:Consider the class of fields with Char(K)=0 and x^4+y^4=1 has only 4 solutions in K\, we show that this class has a model companion\, which we denote by curve-excluding fields. Curve-excluding fields provides (counter)examples to various questions. Model theoretically\, they are model complete and TP_2. Field theoretically\, they are not large and unbounded. We will discuss other aspects such as decidability of such fields. This is joint work with Will Johnson and Erik Walsberg.
URL:https://www.math.ens.psl.eu/evenement/curve-excluding-fields-2/
LOCATION:salle 1016 Sophie Germain
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220322T160000
DTEND;TZID=Europe/Paris:20220322T173000
DTSTAMP:20260426T121819
CREATED:20220317T152124Z
LAST-MODIFIED:20220317T152139Z
UID:15444-1647964800-1647970200@www.math.ens.psl.eu
SUMMARY:Lie groups definable in o-minimal theories
DESCRIPTION:In this talk we will work out a complete characterization of which Lie groups admit a “definable copy”. This is\, characterize for which Lie groups G one can find a group H definable in an o-minimal expansion of the real field\, and such that G and H are isomorphic.\nWhen the answer is positive\, the definable copy H that we find is definable in the language of exponential ordered fields\, and it is such that any Lie automorphism of H is definable.
URL:https://www.math.ens.psl.eu/evenement/lie-groups-definable-in-o-minimal-theories/
LOCATION:Sophie Germain salle 1016.
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
END:VCALENDAR