Logic Seminar
|
Fri, 15/10/2004 15:15 |
Alex Wilkie (Oxford) |
Logic Seminar  |
SR1 |
| The first seminar will be given with the new students in mind. It will begin with a brief overview of quantifier elimination and its relation to the back-and-forth property.I shall then discuss complexity issues with particular reference to algebraically closed fields.In particular,how much does the height and degree of polynomials in a formula increase when a quantifier is eliminated? The precise answer here gave rise to the definition of a `generic' transcendental entire function,which will also be discussed. | |||
|
Fri, 22/10/2004 15:15 |
John Shackell (Kent) |
Logic Seminar |
SR1 |
| Much is now known about exp-log series, and their connections with o- minimality and Hardy fields. However applied mathematicians who work with differential equations, almost invariably want series involving trigonometric functions which those theories exclude. The seminar looks at one idea for incorporating oscillating functions into the framework of Hardy fields. | |||
|
Fri, 29/10/2004 15:15 |
Angus Macintyre (Queen Mary) |
Logic Seminar |
SR1 |
|
Wed, 03/11/2004 12:00 |
Jonathan Kirby (Oxford) |
Logic Seminar |
SR1 |
|
Fri, 05/11/2004 15:15 |
Alex Usvyatsov (Jerusalem) |
Logic Seminar |
SR1 |
|
Fri, 12/11/2004 15:15 |
Assaf Hasson (Jerusalem and Oxford) |
Logic Seminar |
SR1 |
|
Fri, 19/11/2004 15:15 |
Anuj Dawar (Cambridge) |
Logic Seminar |
SR1 |
|
Fri, 26/11/2004 15:15 |
Jan Krajicek (Prague) |
Logic Seminar |
SR1 |
|
Fri, 03/12/2004 15:15 |
Philip Welch (Bristol) |
Logic Seminar |
SR1 |
