Seminar series
Date
Fri, 15 Oct 2004
15:15
Location
SR1
Speaker
Alex Wilkie
Organisation
Oxford

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.

Please contact us with feedback and comments about this page. Last updated on 03 Apr 2022 01:32.