Model Theory Seminars

The model theory seminar for Spring 2011 will be from 10-12 noon on Wednesdays, MALL 2 (unless stated otherwise).

The semester will largely be devoted to looking at a couple of recent preprints: Tame non-Archimedean topology and stably dominated types, by Hrushovski and Loeser, and Generically stable and smooth measures, by Hrushovski, Pillay, and Simon.

Organised by Anand Pillay and Dugald Macpherson.
Telephone: 0113 343 5171
Email: pillay @ maths.leeds.ac.uk

Spring Term 2011

Wed 12th January
Anand Pillay (Leeds)
Organizational meeting, and talk on G^000

Wed 26th January
Dugald Macpherson (Leeds)
Nonarchimedean tame topology and stably dominated types

Wed 2nd February
Dugald Macpherson (Leeds)
Nonarchimedean tame topology, continued

Wed 9th February
Dugald Macpherson
Nonarchimedean tame topology continued

Wed 16th February
Dugald Macpherson (Leeds)
Nonarchimedean tame topology, continued

Wed 23rd February
Anand Pillay (Leeds)
Definable types and domination

Wed 2nd March
Dugald Macpherson (Leeds)
Nonarchimedean tame topology, continued

Wed 9th March
Dugald Macpherson (Leeds)
Nonarchimedean tame topology continued

Wed 16th March
Anand Pillay (Leeds)
Nonarchimedean tame topology, continued

Wed 23rd March
Anand Pillay (Leeds)
The topology on \hat V and definable compactness II

Wed 30th March
Anand Pillay (Leeds)
Topology on \hat V, continued

Wed 11th May
Chloe Perin (Univ. Strasbourg)
Generic type elements in models of the theory of free groups

Wed 25th May
Anand Pillay (University of Leeds)
Affine Nash groups

Wed 15th June
Dugald Macpherson (Leeds)
Pseudofinite groups

Autumn Term 2010

Wed 13th October
Anand Pillay (School of Maths., Leeds)
G^00 = G^000 continued.

Wed 20th October
Dugald Macpherson (Leeds)
Model completetion for modules over finitely generated algebras - after Kamensky

Wed 27th October
Pantelis Eleftheriou (Lisbon)
Genericity and definable groups in semi-bounded o-minimal structures

Wed 3rd November
Charlotte Kestner (Leeds)
Unimodularity and measurability

Wed 17th November
Jakub Gismatullin (Leeds)
G^\infty and absolute connectedness

Wed 1st December
Alexandra Omar Aziz (Leeds)
Type-definable subgroups of the multiplicative group of a separably closed field

Wed 8th December
Gareth Boxall (Stellenbosch, South Africa)
Comments on the Pila-Wilkie theorem

Spring Term 2010

Wed 20th January
Anand Pillay (Leeds)
Non-Archimidean tame topology and stable dominated types

Wed 27th January
A. Pillay (Leeds)
Non-Archimedean tame topology and stably dominated types I

Wed 3rd February
Dugald Macpherson (Leeds)
Generically stable and smooth measures. I

Wed 10th February
Gareth Boxall (Univ. Leeds)
Nonarchidean tame topology and stablydominated types II.

Wed 17th February
Thomas Kucera (Manitoba)
Model theory of Topological modules

Wed 17th February
Dugald Macpherson (Leeds)
NIP III, continued.

Wed 24th February
Rizos Sklinos (Leeds)
The generic type in the free group

Wed 3rd March
A. Pillay (Leeds)
Non-Archimedean tame topology and stably dominsated types III.

Wed 10th March
Anand Pillay (University of Leeds)
Non-Archimedean tame topology and stably dominated types IV

Wed 17th March
Dugald Macpherson (Leeds)
NIP III continued

Wed 21st April
Anand Pillay (Leeds)
Generic 3-amalgamation

Wed 28th April
A. Pillay, and A. Aranda (Leeds)
Generic 3 amalgamation continued

Wed 5th May
Dugald Macpherson (Leeds)
NIP III, continued

Wed 12th May
Ali Enayat (American University, Washington)
Which models of Peano Arithmetic arise as the standard model of some model of ZF.

Wed 30th June
Anand Pillay (Leeds)
Weight, measure, and strong NIP

Wed 14th July
Krzysztof Krupinski (University of Wroclaw, Poland)
Aleph_0-categorical groups and rings with NIP

Autumn Term 2009

Wed 9th September
Anand Pillay (University of Leeds)
Stable group theory and approximate subgroups

Wed 16th September
Anand Pillay (University of Leeds)
Stable group theory and approximate subgroups

Wed 23rd September
Dugald Macpherson (University of Leeds)
Stable group theory and approximate subgroups, continued

Wed 30th September
Dugald Macpherson (University of Leeds)
Stable group theory and approximate subgroups, continued

Wed 7th October
Dugald Macpherson (Leeds)
Stable group theory and approximate subgroups continued

Wed 14th October
D. Macpherson (Leeds)
Stable group theory and approximate subgroups continued

Wed 21st October
A. Pillay (Leeds)
Stable group theory and approximate subgroups. Section 4.

Wed 28th October
A. Pillay (Leeds)
Stable groups and approximate subgroups: section 4

Wed 4th November
Dugald Macpherson (Leeds)
Counting and dimensions: after Hrushovski and Wagner

Wed 11th November
Alf Onshuus (University of Los Andes)
Domination in unstable theories

Wed 18th November
Charlotte Kestner and Alexandra Omar-Aziz (University of Leeds)
Genericity and stabilizers for groups definable in simple theories

Wed 2nd December
Alexandra Omar Aziz (Leeds)
Definability and definable groups in simple theories

Wed 2nd December
Dugald Macpherson (Leeds)
Stable group theory and approximate subgroups after Hrushovski: section 2 revisited

Wed 9th December
Martin Bays (University of Oxford)
Model theory of some exponential maps

Spring Term 2009

Wed 28th January
Marcus Tressl (Manchester University)
The membership problem for real closed fields

Wed 18th February
Rizos Sklinos (Leeds)
Model theory of the free group

Wed 11th March
Krzysztof Krupinski (Wroclaw)
Model theory of Polish groups

Wed 11th March
Jeffrey Burdges (Manchester University)
Connectedness of centralizers of tori

Wed 18th March
Gareth Jones (Manchester University)
Cancelled due to conflict with inaugural lectures

Wed 22nd April
Hans Adler (Leeds)
Local Forking

Wed 29th April
Davide Penazzi (Leeds)
1-basedness for hyperdefinable groups in real closed fields

Wed 6th May
Dugald Macpherson (Leeds)
Chains of finite first order structures

Wed 3rd June
Dugald Macpherson (University of Leeds)
C-minimality and algebraically closed fields

Wed 10th June
Alexandra Omar Aziz (Leeds)
Around type-definable sets and groups

Wed 17th June
Gareth Boxall (Leeds)
O-minimal open core

Wed 24th June
Anand Pillay (University of Leeds)
Generic stability and pregeometries

Thu 16th July
Rahim Moosa (University of Waterloo)
An example of a non-Kaehler, saturated compact complex surface

Autumn Term 2008

Wed 24th September
Anand Pillay (Leeds)
Survey of model theory and stability I

Wed 1st October
Dugald Macpherson and/or Anand Pillay (Leeds)
Survey of model theory and stability II

Wed 8th October
Paul Bankston (Marquette University)
A topological counterpart to existential embeddings

Wed 10th December
A. Pillay (Leeds)
Hyperdefinable stable and dependent groups

Wed 28th January
Marcus Tressl (Manchester University)
The membership problem for real closed fields

Wed 18th February
Rizos Sklinos (Leeds)
Model theory of the free group

Spring Term 2008

Wednesday 23rd January
Anand Pillay (Leeds)
Stable Groups and automorphism groups

Wednesday 30th January
Elisabeth Bouscaren (CNRS, Paris-Sud)
Definable groups in Hasse fields

Wednesday 6th February
Dugald Macpherson (Leeds)
Metastable groups I

Autumn Term 2007

The first few weeks of the seminar will be devoted to some introductory talks on model theory and some directions of research, mainly for the benefit of new and recently beginning postgraduate students.

Wednesday 26th September
Dugald Macpherson (Leeds)
Introduction to Model Theory I

Wednesday 3rd October
Anand Pillay (Leeds)
Introduction to Model Theory II

Wednesday 10th October
Ricardo Aldana (Leeds and Lyon)
Stability and o-minimality and generalizations

Elias Baro (Leeds and Madrid)
o-minimal homotopy theory

Wednesday 17th October
Anand Pillay (Leeds)
Introduction to Model Theory III

Wednesday 24th October
Anand Pillay (Leeds)
Introduction to Model Theory IV

Wednesday 31st October
Hand Adler (Leeds)
Theories without the independence property

Wednesday 7th November
Franck Benoist (Leeds)
Definability in iterative Hasse fields

Wednesday 21st November
Anand Pillay (Leeds)
Stable Groups

Wednesday 28th November
Hans Adler (Leeds)
On independence relations

Wednesday 5th December
Dugald Macpherson (Leeds)
Valued Fields

Summer Term 2007

May 30th June
Dugald Macpherson (Leeds)
Simplicity of some automorphism groups

May 23rd
Bob Gray (Leeds)
Locally finite graphs with more than one end

May 16th
Ivan Tomasic (QML)
Fields with automorphism and measure

May 2nd
Feresiano Mwesigye
A classification of the monomial class of countable linear orderings

April 25th
Anand Pillay (Leeds)
Imaginaries in pairs of algebraically closed fields

April 18th
Gareth Boxall (Leeds)
Some model theory of dense pairs of real-closed fields

Spring Term 2007

March 14th
Dugald Macpherson (Leeds)
Definable groupoids - Part 7

March 7th
Dugald Macpherson (Leeds)
Definable groupoids - Part 6

February 28th
Anand Pillay (Leeds)
Definable groupoids - Part 5

February 21st
Anand Pillay (Leeds)
Groupoids and definable automorphism groups - Part 4

February 14th
Dugald Macpherson (Leeds)
Groupoids and definable automorphism groups - Part 3

February 7th
Anand Pillay (Leeds)
Groupoids and definable automorphism groups - Part 2

January 31st
Anand Pillay (Leeds)
Groupoids and definable automorphism groups - Part 1

Autum Term 2006

November 29th
Richard Elwes
PAC substructures of strongly minimal sets and generic automorphisms

November 22nd
David Knipe (Leeds)
Structure of automorphisms of the countable generic partial order - continued.

November 15th
David Knipe (Leeds)
Structure of automorphisms of the countable generic partial order.

November 8th
Richard Marshall
Robust classes of finite structures II

November 1st
Richard Marshall
Robust classes of finite structures I

October 25th
Dugald Macpherson
Orthogonality of stably embedded sets (Cherlin, Djordjevic, Hrushovski)

October 12th (Thursday at 5pm in Room G*)
John Baldwin
Abstract Elementary classes: tameness and abelian groups

October 11th
John Truss
The Automorphism Group of the Countable Dense Circular Order