Séminaires : Séminaire de Logique Lyon-Paris

Equipe(s) : lm,
Responsables :O. Finkel, A. Khélif, S. Rideau, T. Tsankov, A. Vignati
Email des responsables :
Salle : Zoom ID: 824 8220 9628; s'inscrire à la liste ou contacter silvain.rideau@imj-prg.fr pour le mot de passe.
Adresse :
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Gareth Jones - University of Manchester,
Titre Powers are easy to avoid
Date24/02/2020
Horaire16:15 à 17:15
Diffusion
Résume

Suppose that a set is definable in the expansion of the real
field by restricted analytic functions, and is also definable in the
expansion of the real field by the restricted exponential function
together with all real power functions. Then the set is definable
using just the restricted exponential function. So additional
exponents can be avoided. I will discuss the general result behind
this, and how it can be seen as a polynomially bounded version of an
old conjecture of van den Dries and Miller. This is joint work with
Olivier Le Gal.

Salle8029
AdresseSophie Germain
© IMJ-PRG