15:15
Forthcoming events in this series
15:15
15:15
On connectedness of the centralizers of tori and other concerns around the Weyl group.
Abstract
I'll include a rather short proof of this connectedness in a group of finite
Morley rank, but I'll maybe spend most of the time talking about related matter
without giving proofs.
15:15
Garside's Solution to the Conjugacy Problem in the Braid Group
Abstract
15:00
Blurred exponentiation and the geometry of exponential fields
Abstract
15:15
11:00
15:15
Model Theory of difference varieties and algebraic dynamics over function fields
Abstract
\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\chadzidakis
15:15
Line bundles over quantum tori and Hilbert's 12th problem
Abstract
\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\taylor
15:15
Reconstructing affine and projective schemes from Serre subcategories
Abstract
\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\garkusha
15:15
Total curvatures of tame functions and application to singularities at infinity.
15:15
15:15
Hilbert 16, the Riemann mapping theorem, the Dirichlet problem and o-minimality
15:15
Many questions and few answers concerning Hrushovski's amalgamation construction
15:15
15:15
15:15
15:15
15:15
12:00
On Groups definable in o-minimal linear structures
Abstract
Let M be an ordered vector space over an ordered division ring, and G a definably compact, definably connected group definable in M. We show that G is definably isomorphic to a definable quotient U/L, where U is a convex subgroup of M^n and L is a Z-lattice of rank n. This is a joint work with Panelis Eleftheriou.
15:15
Topological properties of types over o-minimal structures.
[NB: This takes place in SR1 today]
15:15
15:15
Interpreting structures of finite Morley rank in strongly minimal sets
12:00
Topological structures -"What is a structure?" explaining the advantages and disadvantages of each definition.
15:15
15:15
Asymptotics and oscillation
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.
15:15
Bounding back and forth through the complex field
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.
15:15
Geometry and singularities at infinity of real (plane) polynomial functions
15:15
15:15
15:15
Irreducible representations and the Ziegler spectrum over generalised Weyl algebras and related rings
15:15