BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20191110T195525Z
DTSTART:20191113T150000Z
DTEND:20191113T160000Z
SUMMARY:Gareth Jones - Powers are easy to avoid
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}w5q-k2tf3jd
u-cpjo0j
DESCRIPTION:Gareth Jones joins us for the logic seminar.\n\n\nSuppose tha
t a set is definable in the expansion of the real field by restricted an
alytic functions\, and is also definable in the expansion of the real fi
eld by the restricted exponential function together with all real power
functions. Then the set is definable using just the restricted exponenti
al function. So additional exponents can be avoided. I'll discuss the ge
neral result behind this\, and how it can be seen as a polynomially boun
ded version of an old conjecture of van den Dries and Miller. This is jo
int work with Olivier Le Gal.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR