Gareth Jones - Powers are easy to avoid
|Starts:||15:00 13 Nov 2019|
|Ends:||16:00 13 Nov 2019|
|What is it:||Seminar|
|Organiser:||Department of Mathematics|
|Who is it for:||University staff, External researchers, Current University students|
Gareth Jones joins us for the logic seminar.
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'll 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.
Organisation: University of Manchester
Travel and Contact Information
Frank Adams 1
Alan Turing Building