Séminaires : Géométrie et Théorie des Modèles

Equipe(s) : lm,
Responsables :Zoé Chatzidakis, Raf Cluckers, Silvain Rideau.
Email des responsables : zoe.chatzidakis@imj-prg.fr
Salle :
Adresse :ENS
Description

http://gtm.imj-prg.fr/

 

Pour recevoir le programme par e-mail, écrivez à : zchatzid_at_dma.ens.fr.Retour ligne automatique
Pour les personnes ne connaissant pas du tout de théorie des modèles, des notes introduisant les notions de base (formules, ensembles définissables, théorème de compacité, etc.) sont disponibles ici : http://www.logique.jussieu.fr/~zoe/papiers/MTluminy.dvi. Ces personnes peuvent aussi consulter les premiers chapitres du livre Model Theory and Algebraic Geometry, E. Bouscaren ed., Springer Verlag, Lecture Notes in Mathematics 1696, Berlin 1998.Retour ligne automatique
Les notes de quelques-uns des exposés sont disponibles.


Orateur(s) Tamara Servi - IMJ-PRG/Fields,
Titre Interdefinability and compatibility in certain o-minimal expansions of the real field
Date18/03/2022
Horaire14:00 à 15:30
Diffusion
RésumeLet 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.
Salle
AdresseENS
© IMJ-PRG