Past Logic Seminar

3 November 2004
12:00
Jonathan Kirby
Abstract
• Logic Seminar
29 October 2004
15:15
Angus Macintyre
Abstract
• Logic Seminar
22 October 2004
15:15
John Shackell
Abstract
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.
• Logic Seminar
15 October 2004
15:15
Alex Wilkie
Abstract
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.
• Logic Seminar
11 June 2004
15:15
Vincent Grandjean
Abstract
• Logic Seminar
4 June 2004
15:15
Silvia Barbina
Abstract
• Logic Seminar
28 May 2004
15:15
Boris Zilber
Abstract
• Logic Seminar
21 May 2004
15:15
Roman Wencel
Abstract
• Logic Seminar
14 May 2004
15:15
Jan Krajicek
Abstract
• Logic Seminar
7 May 2004
15:15
• Logic Seminar