Past Logic Seminar | Mathematical Institute

Fri, 04 May 2007
15:15

Partially commutative groups: divisibility, orthogonal systems and universal theory.

Andrew Duncan

(Newcastle)

Abstract

I shall describe some joint work with Vladimir Remeslennikov and Ilia Kazachkov. Partially commutative groups are groups given by a presentation determined by a graph: vertices are generators and edges define commutation relations. Divisbility and orthogonal systems are tools developed to study these groups. Using them we have descriptions of centralisers of subsets, a good understanding of the centraliser lattice in terms of the underlying graph and have made good progress towards classifying the universal theory of these groups as well as their automorphism groups.

Fri, 27 Apr 2007
15:15

On connectedness of the centralizers of tori and other concerns around the Weyl group.

Jeffrey Burdges

(Manchester)

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.

Fri, 20 Apr 2007
15:15

Garside's Solution to the Conjugacy Problem in the Braid Group

Tristram de Piro

(Camerino)

Abstract

I will discuss Garside's representation of elements of the braid group in terms of "half- twists" and the corresponding solution to the Conjugacy Problem, originally posed by Artin. If time permits, I will discuss some geometric implications of this result.

Wed, 28 Mar 2007
15:00

Blurred exponentiation and the geometry of exponential fields

Jonathan Kirby

(UIC, Chicago)

Abstract

I will discuss the proof that the exponential algebraic closure operator on the complex exponential field is isomorphic to the pregeometry which controls the "pseudoexponential" field.

Fri, 16 Feb 2007
15:15

Ax-Schanuel conditions in positive characteristic

Piotr Kowalski

(Wroclaw)

Thu, 25 Jan 2007
11:00

SR1

Adding a multiplicative group to a polynomially bounded structure.

Alex Wilkie

(Oxford)

Mon, 11 Dec 2006
15:00

Model Theory, Lie algebras and Quantum Groups

Sonia L'Innocente

(London)

Fri, 01 Dec 2006
15:15

Model Theory of difference varieties and algebraic dynamics over function fields

Zoe Chatzidakis

(Paris)

Abstract

\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\chadzidakis

Fri, 24 Nov 2006
15:15

Postponed until 1st Week Hilary Term

Fri, 17 Nov 2006
15:15

TBA

Moshe Kamensky

(UEA)

Fri, 03 Nov 2006
15:15

Line bundles over quantum tori and Hilbert's 12th problem

Lawrence Taylor

(Nottingham)

Abstract

\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\taylor

Fri, 27 Oct 2006
15:15

Covers of multiplicative groups of fields.

Martin Bays

(Oxford)

Fri, 20 Oct 2006
15:15

Reconstructing affine and projective schemes from Serre subcategories

Grigory Garkusha

(Manchester)

Abstract

\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\garkusha

Fri, 13 Oct 2006
15:15

Polynomial invariants of finite structures

Boris Zilber

(Oxford)

Fri, 19 May 2006
15:15

Total curvatures of tame functions and application to singularities at infinity.

Vincent Grandjean

(Bath)

Fri, 12 May 2006
15:15

Rings of definable scalars for modules and the dual-Zlegler spectrum

Mike Prest

(Manchester)

Fri, 05 May 2006
15:15

Hilbert 16, the Riemann mapping theorem, the Dirichlet problem and o-minimality

Tobias Kaiser

(Regensburg)

Fri, 28 Apr 2006
15:15

Many questions and few answers concerning Hrushovski's amalgamation construction

Assaf Hasson

(Oxford)

Fri, 03 Mar 2006
15:15

Ultraproducts in commutative algebra and algebraic geometry

Angus Macintyre

(QMUL)

Fri, 24 Feb 2006
15:15

Hurewicz theorems and Pillay's conjecture

Nicholas Peatfield

(Bristol)

Fri, 17 Feb 2006
15:15

A few remarks on quasi-minimal structures

Masanori Itai

(Tokai)

Fri, 10 Feb 2006
15:15

Stable domination and algebraically closed fields

Dugald Macpherson

(Leeds)

Fri, 27 Jan 2006
15:15

Model theory of some differential equations

Jonathan Kirby

(Oxford)

Fri, 20 Jan 2006
15:15

Non-commutative geometry and new stable structures

Boris Zilber

(Mathematical Institute, Oxford)

Fri, 02 Dec 2005
15:15

Logic and cryptography.

Jan Krajicek

(Prague)

Fri, 25 Nov 2005
15:15

Expansions of fields by angular functions.

David Evans

(UEA)

Fri, 18 Nov 2005
15:15

Asymptotic classes and measurable structures.

Richard Elwes

(Leeds)

Fri, 11 Nov 2005
15:15

Imaginaries in pairs.

Anand Pillay

(Leeds)

Fri, 04 Nov 2005
15:15

A field with red points.

Martin Ziegler

(Freiburg and Leeds)

Fri, 28 Oct 2005
15:15

Some local definability theory for holomorphic functions.

Alex Wilkie

(Oxford)

Fri, 14 Oct 2005
15:15

Strongly minimal expansions of the additive group of complex numbers.

Piotr Kowalski

(Oxford)

Fri, 10 Jun 2005
12:00

On Groups definable in o-minimal linear structures

Sergei Starchenko

(Notre Dame)

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.