Workshop Programme
for period 29 March  8 April 2005
An Introduction to Recent Applications of Model Theory
29 March  8 April 2005
Timetable
Tuesday 29 March  
Session: An Introduction to Recent Applications of Model Theory  
09:0010:00  Registration  
10:0011:00  Macintyre, A (Queen Mary, London)  
Introduction  Sem 1  
11:0011:30  Coffee and posters  
11:3012:30  Pillay, A (Illinois)  
Stability, differential fields, and related structures  Sem 1  
We will discuss stability theory and the model theory of differential fields, difference fields, separably closed fields, and compact complex manifolds. We will survey the applications to and connections with diophantine geometry, complex geometry, and the arithmetic of differential equations. 

12:3013:30  Lunch at Churchill College  
14:0015:00  Bouscaren, E (Paris)  
Stability, differential fields, and related structures  Sem 1  
We will discuss stability theory and the model theory of differential fields, difference fields, separably closed fields, and compact complex manifolds. We will survey the applications to and connections with diophantine geometry, complex geometry, and the arithmetic of differential equations. 

15:0015:30  Tea and posters  
15:3016:30  Macpherson, D; Lippel, D (Leeds/McMaster)  
Model theory of algebraically closed valued fields  Sem 1  
This tutorial of 5 lectures will be an exposition of a proof of elimination of imaginaries for the theory of algebraically closed valued fields (ACVF), when certain extra sorts from M^eq (coset spaces) are added. The proof will be based on that of [1], though further recent ideas of Hrushovski may be incorporated. The tutorial will begin with a general account of the basic model theory of ACVF and the notion of elimination of imaginaries, and will end with further developments from [2]: in particular, the notion of stable domination. 1. D. Haskell, E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part I: elimination of imaginaries', preprint. 2. D. Haskell E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part II: stable domination and independence.' 

16:3017:30  Macpherson, D; Lippel, D (Leeds/McMaster)  
Model theory of algebraically closed valued fields  Sem 1  
This tutorial of 5 lectures will be an exposition of a proof of elimination of imaginaries for the theory of algebraically closed valued fields (ACVF), when certain extra sorts from M^eq (coset spaces) are added. The proof will be based on that of [1], though further recent ideas of Hrushovski may be incorporated. The tutorial will begin with a general account of the basic model theory of ACVF and the notion of elimination of imaginaries, and will end with further developments from [2]: in particular, the notion of stable domination. 1. D. Haskell, E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part I: elimination of imaginaries', preprint. 2. D. Haskell E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part II: stable domination and independence.' 

17:3018:30  Wine Reception  
18:4519:30  Dinner at Wolfson Court (Residents only) 
Wednesday 30 March  
Session: An Introduction to Recent Applications of Model Theory  
09:0010:00  Pillay, A (Illinois)  
Stability, differential fields, and related structures  Sem 1  
We will discuss stability theory and the model theory of differential fields, difference fields, separably closed fields, and compact complex manifolds. We will survey the applications to and connections with diophantine geometry, complex geometry, and the arithmetic of differential equations. 

10:0011:00  Bouscaren, E (Paris)  
Stability, differential fields, and related structures  Sem 1  
We will discuss stability theory and the model theory of differential fields, difference fields, separably closed fields, and compact complex manifolds. We will survey the applications to and connections with diophantine geometry, complex geometry, and the arithmetic of differential equations. 

11:0011:30  Coffee and posters  
11:3012:30  Macpherson, D; Lippel, D (Leeds/McMaster)  
Model theory of algebraically closed valued fields  Sem 1  
This tutorial of 5 lectures will be an exposition of a proof of elimination of imaginaries for the theory of algebraically closed valued fields (ACVF), when certain extra sorts from M^eq (coset spaces) are added. The proof will be based on that of [1], though further recent ideas of Hrushovski may be incorporated. The tutorial will begin with a general account of the basic model theory of ACVF and the notion of elimination of imaginaries, and will end with further developments from [2]: in particular, the notion of stable domination. 1. D. Haskell, E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part I: elimination of imaginaries', preprint. 2. D. Haskell E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part II: stable domination and independence.' 

12:3013:30  Lunch at Churchill College  
14:0015:00  Macpherson, D; Lippel, D (Leeds/McMaster)  
Model theory of algebraically closed valued fields  Sem 1  
This tutorial of 5 lectures will be an exposition of a proof of elimination of imaginaries for the theory of algebraically closed valued fields (ACVF), when certain extra sorts from M^eq (coset spaces) are added. The proof will be based on that of [1], though further recent ideas of Hrushovski may be incorporated. The tutorial will begin with a general account of the basic model theory of ACVF and the notion of elimination of imaginaries, and will end with further developments from [2]: in particular, the notion of stable domination. 1. D. Haskell, E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part I: elimination of imaginaries', preprint. 2. D. Haskell E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part II: stable domination and independence.' 

15:0015:30  Tea and posters  
15:3016:30  Bost, JB (Paris)  
Some problems arising from the Diophantine study of algebraic foliations  Sem 1  
This survey talk will be devoted to various problems arising in the study of Diophantine properties of algebraic foliations. Hopefully, I will explain (1) how algebraic foliations naturally enters into arithmetic geometry, (2) some known results established notably by means of Diophantine approximation techniques (concerning in particular the GrothendieckKatz conjecture and its generalizations), and (3) discuss some Diophantine conjectures/problems, and some problems in (differential)algebraic geometry arising from the use of Diophantine approximation techniques. This last part should present various issues where I expect model theory to be relevant. 

18:4519:30  Dinner at Wolfson Court (Residents only) 
Thursday 31 March  
Session: An Introduction to Recent Applications of Model Theory  
09:0010:00  Pillay, A (Illinois)  
Stability, differential fields, and related structures  Sem 1  
We will discuss stability theory and the model theory of differential fields, difference fields, separably closed fields, and compact complex manifolds. We will survey the applications to and connections with diophantine geometry, complex geometry, and the arithmetic of differential equations. 

10:0011:00  Macpherson, D; Lippel, D (Leeds/McMaster)  
Model theory of algebraically closed valued fields  Sem 1  
This tutorial of 5 lectures will be an exposition of a proof of elimination of imaginaries for the theory of algebraically closed valued fields (ACVF), when certain extra sorts from M^eq (coset spaces) are added. The proof will be based on that of [1], though further recent ideas of Hrushovski may be incorporated. The tutorial will begin with a general account of the basic model theory of ACVF and the notion of elimination of imaginaries, and will end with further developments from [2]: in particular, the notion of stable domination. 1. D. Haskell, E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part I: elimination of imaginaries', preprint. 2. D. Haskell E. Hrushovski, H.D. Macpherson, `Definable sets in algebraically closed valued fields. Part II: stable domination and independence.' 

11:0011:30  Coffee and posters  
11:3012:30  Scanlon, T (California)  
A local AndreOort conjecture via ACFA  Sem 1  
12:3013:30  Lunch at Churchill College  
14:0015:00  Fesenko, I (Nottingham)  
Two dimensional arithmetic geometry and nonstandard mathematics  Sem 1  
This is review of a variety of potential and actual applications of nonstandard mathematics to arithmetic geometry; for the text see www.maths.nott.ac.uk/personal/ibf/rem.pdf Related Links 

15:0015:30  Tea and posters  
15:3016:30  Roessler, D (ETH, Zurich)  
On a theorem of Simpson  Sem 1  
18:4519:30  Dinner at Wolfson Court (Residents only) 
Friday 1 April  
Session: An Introduction to Recent Applications of Model Theory  
09:0010:00  Zilber, B (Oxford)  
Zariskitype structures  Sem 1  
10:0011:00  Zilber, B (Oxford)  
Zariskitype structures  Sem 1  
11:0011:30  Coffee and posters  
11:3012:30  Henson, CW; Berenstein, A (Illinois)  
Model theory for metric structures  Sem 1  
A metric structure is a manysorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally, there are functions (of several variables) between sorts, assumed to be uniformly continuous. Examples include metric spaces themselves, measure algebras (with the metric d(A,B) = m(A*B), where * is symmetric difference), and structures based on Banach spaces (where one interprets the sorts as balls), including Banach lattices, C*algebras, etc. The usual firstorder logic does not work very well for such structures, and several good alternatives have been developed. One is the logic of positive bounded formulas with an approximate semantics (see [3]). Another is the setting of compact abstract theories (cats) (see [1]). A recent development, which will be emphasized in this course, is the convergence of these two points of view and the realization that they are also connected to the [0,1]valued continuous logic that was studied extensively in the 1960s and then dropped (see [2]). This leads to a new formalism for the logic of metric structures in which the operations of sup and inf play a central role. The development of this continuous logic for metric structures is an ongoing project being carried out as a collaboration among Itay BenYaacov (Wisconsin), Alex Berenstein (Illinois), Ward Henson (Illinois), and Alex Usvyatsov (Jerusalem). The analogy between this logic for metric space structures and the usual first order logic for ordinary structures is far reaching. Continuous logic satisfies the compactness theorem, LowenheimSkolem theorems, diagram arguments, existence of saturated and homogeneous models, characterizations of quantifier elimination and model completeness, Beth's definability theorem, Craig's interpolation theorem, the omitting types theorem, fundamental results of stability theory, and appropriate analogues of essentially all results in basic model theory of first order logic. The theory of definable sets and functions in this continuous logic for metric structures has novel aspects and there are numerous open problems of apparent interest. Extending important concepts from first order model theory to this continuous logic often presents a challenge. The purpose of this tutorial is to present this logic for metric structures, and to show a few of its application areas, with emphasis on probability spaces and certain linear spaces from functional analysis. References: [1] I. BenYaacov, Positive model theory and compact abstract theories, J. Math. Logic 3 (2003), 85118. [2] C. C. Chang and H. J. Keisler, Continuous Model Theory, Princeton Univ. Press (1966). [3] C. W. Henson and J. Iovino, Ultraproducts in Analysis, in Analysis and Logic, London Mathematical Society Lecture Notes 262, Cambridge University Press (2002), 1113. 

12:3013:30  Lunch at Churchill College  
14:0015:00  Henson, CW; Berenstein, A (Illinois)  
Model theory for metric structures  Sem 1  
A metric structure is a manysorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally, there are functions (of several variables) between sorts, assumed to be uniformly continuous. Examples include metric spaces themselves, measure algebras (with the metric d(A,B) = m(A*B), where * is symmetric difference), and structures based on Banach spaces (where one interprets the sorts as balls), including Banach lattices, C*algebras, etc. The usual firstorder logic does not work very well for such structures, and several good alternatives have been developed. One is the logic of positive bounded formulas with an approximate semantics (see [3]). Another is the setting of compact abstract theories (cats) (see [1]). A recent development, which will be emphasized in this course, is the convergence of these two points of view and the realization that they are also connected to the [0,1]valued continuous logic that was studied extensively in the 1960s and then dropped (see [2]). This leads to a new formalism for the logic of metric structures in which the operations of sup and inf play a central role. The development of this continuous logic for metric structures is an ongoing project being carried out as a collaboration among Itay BenYaacov (Wisconsin), Alex Berenstein (Illinois), Ward Henson (Illinois), and Alex Usvyatsov (Jerusalem). The analogy between this logic for metric space structures and the usual first order logic for ordinary structures is far reaching. Continuous logic satisfies the compactness theorem, LowenheimSkolem theorems, diagram arguments, existence of saturated and homogeneous models, characterizations of quantifier elimination and model completeness, Beth's definability theorem, Craig's interpolation theorem, the omitting types theorem, fundamental results of stability theory, and appropriate analogues of essentially all results in basic model theory of first order logic. The theory of definable sets and functions in this continuous logic for metric structures has novel aspects and there are numerous open problems of apparent interest. Extending important concepts from first order model theory to this continuous logic often presents a challenge. The purpose of this tutorial is to present this logic for metric structures, and to show a few of its application areas, with emphasis on probability spaces and certain linear spaces from functional analysis. References: [1] I. BenYaacov, Positive model theory and compact abstract theories, J. Math. Logic 3 (2003), 85118. [2] C. C. Chang and H. J. Keisler, Continuous Model Theory, Princeton Univ. Press (1966). [3] C. W. Henson and J. Iovino, Ultraproducts in Analysis, in Analysis and Logic, London Mathematical Society Lecture Notes 262, Cambridge University Press (2002), 1113. 

15:0015:30  Tea and posters  
15:3016:30  Yomdin, J (Weizman)  
Closed trajectories of plane systems of ODE's, moments, iterated integrals, and compositions  with the stress on some "formal" aspects  Sem 1  
Recently some new connections have been found between the structure of the closed trajectories of plane systems of ODE's and certain questions in classical analysis and algebra. In particular, this concerns the vanishing problem of certain momentlike expressions and of iterated integrals on one side, and the structure of the composition factorization of analytic functions on the other. These connections provide a useful information on the Center conditions (for all the trajectories around a critical point to be closed) and on the distribution of the isolated closed trajectories (limit cycles). Some of the above effects are rather "structural" or "formal" in their nature, and, as the preliminary considerations show, they possibly can be considered in the framework of the Model Theory. 

18:4519:30  Dinner at Wolfson Court (Residents only) 
Monday 4 April  
Session: An Introduction to Recent Applications of Model Theory  
09:0010:00  Zilber, B (Oxford)  
Zariskitype structures  Sem 1  
10:0011:00  Zilber, B (Oxford)  
Zariskitype structures  Sem 1  
11:0011:30  Coffee and posters  
11:3012:30  Henson, CW; Berenstein, A (Illinois)  
Model theory for metric structures  Sem 1  
A metric structure is a manysorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally, there are functions (of several variables) between sorts, assumed to be uniformly continuous. Examples include metric spaces themselves, measure algebras (with the metric d(A,B) = m(A*B), where * is symmetric difference), and structures based on Banach spaces (where one interprets the sorts as balls), including Banach lattices, C*algebras, etc. The usual firstorder logic does not work very well for such structures, and several good alternatives have been developed. One is the logic of positive bounded formulas with an approximate semantics (see [3]). Another is the setting of compact abstract theories (cats) (see [1]). A recent development, which will be emphasized in this course, is the convergence of these two points of view and the realization that they are also connected to the [0,1]valued continuous logic that was studied extensively in the 1960s and then dropped (see [2]). This leads to a new formalism for the logic of metric structures in which the operations of sup and inf play a central role. The development of this continuous logic for metric structures is an ongoing project being carried out as a collaboration among Itay BenYaacov (Wisconsin), Alex Berenstein (Illinois), Ward Henson (Illinois), and Alex Usvyatsov (Jerusalem). The analogy between this logic for metric space structures and the usual first order logic for ordinary structures is far reaching. Continuous logic satisfies the compactness theorem, LowenheimSkolem theorems, diagram arguments, existence of saturated and homogeneous models, characterizations of quantifier elimination and model completeness, Beth's definability theorem, Craig's interpolation theorem, the omitting types theorem, fundamental results of stability theory, and appropriate analogues of essentially all results in basic model theory of first order logic. The theory of definable sets and functions in this continuous logic for metric structures has novel aspects and there are numerous open problems of apparent interest. Extending important concepts from first order model theory to this continuous logic often presents a challenge. The purpose of this tutorial is to present this logic for metric structures, and to show a few of its application areas, with emphasis on probability spaces and certain linear spaces from functional analysis. References: [1] I. BenYaacov, Positive model theory and compact abstract theories, J. Math. Logic 3 (2003), 85118. [2] C. C. Chang and H. J. Keisler, Continuous Model Theory, Princeton Univ. Press (1966). [3] C. W. Henson and J. Iovino, Ultraproducts in Analysis, in Analysis and Logic, London Mathematical Society Lecture Notes 262, Cambridge University Press (2002), 1113. 

12:3013:30  Lunch at Churchill College  
14:0015:00  Henson, CW; Berenstein, A (Illinois)  
Model theory for metric structures  Sem 1  
A metric structure is a manysorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally, there are functions (of several variables) between sorts, assumed to be uniformly continuous. Examples include metric spaces themselves, measure algebras (with the metric d(A,B) = m(A*B), where * is symmetric difference), and structures based on Banach spaces (where one interprets the sorts as balls), including Banach lattices, C*algebras, etc. The usual firstorder logic does not work very well for such structures, and several good alternatives have been developed. One is the logic of positive bounded formulas with an approximate semantics (see [3]). Another is the setting of compact abstract theories (cats) (see [1]). A recent development, which will be emphasized in this course, is the convergence of these two points of view and the realization that they are also connected to the [0,1]valued continuous logic that was studied extensively in the 1960s and then dropped (see [2]). This leads to a new formalism for the logic of metric structures in which the operations of sup and inf play a central role. The development of this continuous logic for metric structures is an ongoing project being carried out as a collaboration among Itay BenYaacov (Wisconsin), Alex Berenstein (Illinois), Ward Henson (Illinois), and Alex Usvyatsov (Jerusalem). The analogy between this logic for metric space structures and the usual first order logic for ordinary structures is far reaching. Continuous logic satisfies the compactness theorem, LowenheimSkolem theorems, diagram arguments, existence of saturated and homogeneous models, characterizations of quantifier elimination and model completeness, Beth's definability theorem, Craig's interpolation theorem, the omitting types theorem, fundamental results of stability theory, and appropriate analogues of essentially all results in basic model theory of first order logic. The theory of definable sets and functions in this continuous logic for metric structures has novel aspects and there are numerous open problems of apparent interest. Extending important concepts from first order model theory to this continuous logic often presents a challenge. The purpose of this tutorial is to present this logic for metric structures, and to show a few of its application areas, with emphasis on probability spaces and certain linear spaces from functional analysis. References: [1] I. BenYaacov, Positive model theory and compact abstract theories, J. Math. Logic 3 (2003), 85118. [2] C. C. Chang and H. J. Keisler, Continuous Model Theory, Princeton Univ. Press (1966). [3] C. W. Henson and J. Iovino, Ultraproducts in Analysis, in Analysis and Logic, London Mathematical Society Lecture Notes 262, Cambridge University Press (2002), 1113. 

15:0015:30  Tea and posters  
15:3016:30  Raynaud, Y (Paris)  
Ultrapowers and ultraroots in Banach spaces theory  Sem 1  
18:4519:30  Dinner at Wolfson Court (Residents only) 
Tuesday 5 April  
Session: An Introduction to Recent Applications of Model Theory  
09:0010:00  Zilber, B (Oxford)  
Zariskitype structures  Sem 1  
10:0011:00  Henson, CW; Berenstein, A (Illinois)  
Model theory for metric structures  Sem 1  
A metric structure is a manysorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally, there are functions (of several variables) between sorts, assumed to be uniformly continuous. Examples include metric spaces themselves, measure algebras (with the metric d(A,B) = m(A*B), where * is symmetric difference), and structures based on Banach spaces (where one interprets the sorts as balls), including Banach lattices, C*algebras, etc. The usual firstorder logic does not work very well for such structures, and several good alternatives have been developed. One is the logic of positive bounded formulas with an approximate semantics (see [3]). Another is the setting of compact abstract theories (cats) (see [1]). A recent development, which will be emphasized in this course, is the convergence of these two points of view and the realization that they are also connected to the [0,1]valued continuous logic that was studied extensively in the 1960s and then dropped (see [2]). This leads to a new formalism for the logic of metric structures in which the operations of sup and inf play a central role. The development of this continuous logic for metric structures is an ongoing project being carried out as a collaboration among Itay BenYaacov (Wisconsin), Alex Berenstein (Illinois), Ward Henson (Illinois), and Alex Usvyatsov (Jerusalem). The analogy between this logic for metric space structures and the usual first order logic for ordinary structures is far reaching. Continuous logic satisfies the compactness theorem, LowenheimSkolem theorems, diagram arguments, existence of saturated and homogeneous models, characterizations of quantifier elimination and model completeness, Beth's definability theorem, Craig's interpolation theorem, the omitting types theorem, fundamental results of stability theory, and appropriate analogues of essentially all results in basic model theory of first order logic. The theory of definable sets and functions in this continuous logic for metric structures has novel aspects and there are numerous open problems of apparent interest. Extending important concepts from first order model theory to this continuous logic often presents a challenge. The purpose of this tutorial is to present this logic for metric structures, and to show a few of its application areas, with emphasis on probability spaces and certain linear spaces from functional analysis. References: [1] I. BenYaacov, Positive model theory and compact abstract theories, J. Math. Logic 3 (2003), 85118. [2] C. C. Chang and H. J. Keisler, Continuous Model Theory, Princeton Univ. Press (1966). [3] C. W. Henson and J. Iovino, Ultraproducts in Analysis, in Analysis and Logic, London Mathematical Society Lecture Notes 262, Cambridge University Press (2002), 1113. 

11:0011:30  Coffee and posters  
11:3012:30  Loeser, F (ENS, Paris)  
Operations on constructible functions (I)  Sem 1  
Constructible functions appear under various guises in many different setting. Starting from real and ominimal geometry, we shall journey to the padic and motivic setting. We plan to focus mainly on the construction of direct image (pushforward) but we intend also taking some time to discuss other operations, like the Fourier transformation. 

12:3013:30  Lunch at Churchill College  
14:0015:00  Loeser, F (ENS, Paris)  
Operations on constructible functions (II)  Sem 1  
Constructible functions appear under various guises in many different setting. Starting from real and ominimal geometry, we shall journey to the padic and motivic setting. We plan to focus mainly on the construction of direct image (pushforward) but we intend also taking some time to discuss other operations, like the Fourier transformation. 

15:0015:30  Tea and posters  
15:3016:30  Lion, JM; Speissegger, P (Universite de Rennes 1/McMaster)  
The theorem of the complement for nested subPfaffian sets  Sem 1  
We show that the Pfaffian closure of an ominimal structure with analytic cell decomposition is model complete. This is achieved by proving a theorem of the complement for nested subPfaffian sets over the ominimal structure in question. 

16:3017:30  Peterzil, Y (Haifa)  
Nonstandard 1dimensional tori are locally modular  Sem 1  
In earlier work we showed how a uniform family of biholomorphisms of 1dimensional complex tori and algebraic cubics is definable in $R_{an,exp}$, covering in this way all smooth cubics, but not all tori. As a corollary, one obtains in elementary extensions of $R_{an,exp}$ some ``nonstandard'' 1dimensional tori. I will discuss the induced analytic structure on these tori and show that these nonstandard tori are strongly minimal and locally modular. 

20:0018:00  Conference Dinner at Magdalene College (Dining Hall) 
Wednesday 6 April  
Session: An Introduction to Recent Applications of Model Theory  
09:0010:00  Campana, F (Nancy)  
Isotriviality criteria for families of nonalgebraic compact K\" ahler manifolds, and modeltheoretic nonmultidimensionality of the class C.  Sem 1  
A question raised by A.Pillay is whether the class $\calC$ of compact complex manifolds $F$ bimeromorphic to some compact K\" ahler manifold $F'$ (depending on $F$) is nonmultidimensional in the model theoretic sense. Specialised to the case of {\it simple} manifolds $F$ (those which are not covered by proper compact analytic subsets, and of complex dimension at least $2$), this means that if $f:X\to S$ is a surjective holomorphic map with $X$ in $\calC$, and general smooth fibre $X_s$ simple, then $f$ is {\it isotrivial}, which means that any two such fibres are isomorphic. We show that this is indeed the case for (most of) the known simple manifolds: the nonprojective hyperk\" ahler manifolds, and the general complex tori. The talk is intended for nonspecialists in complex geometry. 

10:0011:00  Pheidas, Th; Zahidi, K (Crete/Antwerpen)  
Analogues of Hilbert's tenth problem  Sem 1  
This presentation is part of the tutorial on Hilbert's Tenth Problem, which will be presented jointly with Thanases Pheidas. The aim is to give a comprehensive overview of results concerning decidability questions related to solving diophantine equations. For more information I refer to the abstract submitted by Thanases Pheidas. 

11:0011:30  Coffee and posters  
11:3012:30  Pheidas, Th; Zahidi, K (Crete/Antwerpen)  
Analogues of Hilbert's tenth problem  Sem 1  
This presentation is part of the tutorial on Hilbert's Tenth Problem, which will be presented jointly with Thanases Pheidas. The aim is to give a comprehensive overview of results concerning decidability questions related to solving diophantine equations. For more information I refer to the abstract submitted by Thanases Pheidas. 

12:3013:30  Lunch at Churchill College  
14:0015:00  Eisentrager, K (Michigan)  
Hilbert's tenth problem for function fields  Sem 1  
We will discuss how elliptic curves of rank one can be used to prove undecidability of Hilbert's Tenth Problem for function fields of characteristic zero, such as R(t) and C(t_1,...,t_n) (n at least 2). The approach for function fields of positive characteristic is very different, and we will sketch some of the methods used there. 

15:0015:30  Tea and posters  
15:3016:30  Loeser, F (ENS, Paris)  
Operations on constructible functions (III)  Sem 1  
Constructible functions appear under various guises in many different setting. Starting from real and ominimal geometry, we shall journey to the padic and motivic setting. We plan to focus mainly on the construction of direct image (pushforward) but we intend also taking some time to discuss other operations, like the Fourier transformation. 

16:3017:30  Cluckers, R (ENS, Paris)  
Real integration of oscillating functions  Sem 1  
We present new results on real integration of oscillating functions, for example, Fourier transforms of subanalytic functions; it is joint work with Aschenbrenner and Rolin. We begin to control very good the transcendental functions we have to add, (namely, oscillating versions of basic Abelian integrals), in order to describe these parameterized integrals. The method is in principle algorithmic, with a similar algorithm as to compute motivic oscillating integrals. Yet, conjectures linking real and motivic integrals remain unsolvable. 

18:4519:30  Dinner at Wolfson Court (Residents only) 
Thursday 7 April  
Session: An Introduction to Recent Applications of Model Theory  
09:0009:30  Hasson, A; Zilber, B (Oxford/Oxford)  
Analytic Zariski geometries and the Hrushovski Collapse  Sem 1  
In recent years much progress has been made along the 'Zilber Programme' intended to explain Hrushovskitype constructions in terms of analytic geometry. These results, however, have only dealt with Hrushovskitype structures of infinite rank. we will show that considering appropriate expansions of the infinite rank ab initio structrue, Hrushovski's strongly minimal sets can be obtained as infinitesimal neighborhoods (in terms of specializations) of carefully enough chosen points. We will also show that these results can be extended to other Hrushovskitype structres, most notably to ones supporting a structure of an algebraically closed field. If time allows we will discuss briefly: (a) The obstacles in generalizing these results to more complicated structures (e.g. the fusion of two strongly minimal Zariski geometries). (b) The nature of a possible analytic prototype in which our interpretation of the collapse could be described in analytic terms. 

09:3010:00  Barbina, S (Turin)  
Reconstruction of homogeneous relational structures  Sem 1  
Reconstruction results give conditions under which the automorphism group of a structure determines the structure up to biinterpretability or bidefinability. Here we examine a large class of omegacategorical combinatorial structures, which was isolated by Herwig and contains K_nfree graps, khypergraphs and Henson digraphs. Using a Baire category approach we show how to obtain reconstruction for this class, proving that a reconstruction condition, developed by M. Rubin, holds. The method rests on the existence of a generic pair of automorphisms. 

10:0010:30  Soufflet, R (Lyon 1)  
Arcproperties of functions definable in ominimal structures  Sem 1  
There are two topics at the base of this talk: arcanalytic functions (mostly studied in the subanalytic setting) and the relationships between ominimal structures and Hardy fields. They lead us to study the following problem: for a function definable in some ominimal structure (over the field of reals), what kind of property may be detected in restriction to some "small" space of definable arcs. We shall prove for instance that for most classical polynomially bounded ominimal structures, continuity is equivalent to continuity on restriction to polynomial arcs. We will finish with problems of arcdefinability for which we will give several open questions. 

10:3011:00  Usvyatsov, A (Hebrew)  
The theory of a Hilbert space with a generic automorphism  Sem 1  
I will present an axiomatization for the continuous theory of a generic unitary representation of the group Z (integers), i.e. the theory of a Hilbert space with a generic automorphism. This is also the theory of the regular unitary representation of Z. I will describe the properties of this theory (e.g. superstable, nonmultidimensional, nonomega stable) and present a full characterization of types using the spectral decomposition theorem. This is a joint work with Itay BenYaacov and Moshe Zadka. 

11:0011:30  Coffee and posters  
11:3012:00  Mellor, T (Regensburg)  
An Euler characteristic for real closed valued fields  Sem 1  
I shall consider a real closed valued field together with certain extensions. There are four classes of definable set: considering both structures, both as fields and valued fileds. The relationships between these classes allow one to prove the existance of an Euler characteristic for the (valued field) definable sets of the origional structure. Related Links


12:3013:30  Lunch at Churchill College  
15:0015:30  Tea and posters  
15:3016:30  Chatzidakis, Z (Paris)  
Application of arc spaces to the model theory of fields with commuting derivations  Sem 1  
16:3017:30  Hrushovski, E (Hebrew)  
Model theoretic topics in valued fields I  Sem 1  
18:4519:30  Dinner at Wolfson Court (Residents only) 
Friday 8 April  
Session: An Introduction to Recent Applications of Model Theory  
09:0010:00  Wilkie, A (Oxford)  
On the quasiminimality of certain expansions of the complex field  Sem 1  
I shall consider various natural pregeometries on expansions of the complex field inspired by the work of Peterzil and Starchenko on the development of complex analysis within an ominimal structure. Unfortunately, I still cannot realise my original aim of using such methods to show that the complex exponential field is quasiminimal (ie every definable subset of the complex numbers is either countable or cocountable) but I can at least show that we do have quasiminimality if we only allow the operations of raising to real powers. (I should point out, however, that if one assumes postive answers to certain conjectures from diophantine geometry and transcendence theory then Zilber has already shown this,and more. See 'Raising to powers in algebraically closed fields', J Math Logic vol 3(2), 2003, 217238.) Another aspect of the talk is that it gives some sort of answer to a question of Hrushovski (private communication a couple of years ago) which asks whether elimation of quantifiers for algebraically closed fields may be naturally deduced from elimination of quantifiers for real closed ordered fields. I show that even though the definable closure operator on an ominimal structure (expanding a real closed field) does not satisfy the modular law, it may nevertheless be linearised and thereby induce a pregeometry on an expansion of its algebraic closure. The CauchyRiemann equations play a role here so that, for example, in the pure field case this pregeometry IS algebraic closure (and not,say, "algebraic closure of the set of real and imaginary parts"). 

10:0010:30  Suer, S (UIUC)  
GrothendieckKatz conjecture for elliptic curves  Sem 1  
We will consider a special case of GrothendieckKatz conjecture given by the logarithmic derivative. 

10:3011:00  Kirby, J (Oxford)  
Schanuel conditions for Weierstrass differential equations  Sem 1  
I will discuss a version of Schanuel's conjecture for Weierstrass equations in differential fields. This gives a necessary and sufficient condition for a system of Weierstrass differential equations to have a solution. The necessity part builds on work by James Ax, who proved the equivalent statement for the exponential equation, and by Brownawell and Kubota who proved an analogue for complex power series. The sufficiency part builds on work of Cecily Crampin. I hope also to show connections to the theory of the complex Weierstrass pfunctions and to structures constructed via Hrushovski's amalgamation technique. 

11:0011:30  Coffee and posters  
11:3012:00  Ghioca, D (UC Berkeley)  
MordellLang theorem for Drinfeld modules and minimal groups in the theory of separably closed fields  Sem 1  
We study the rings of quasiendomorphisms of certain minimal groups in the theory of separably closed fields. These groups are associated to Drinfeld modules of finite characteristic. Based on our results, we are able to prove a MordellLang statement for Drinfeld modules of finite characteristic. 

12:0012:30  Yaffe, Y (McMaster)  
Classes of (Lie) Differential Fields without Model Companions  Sem 1  
A Lie differential field is a field F given with some Lie algebra L acting on F as derivations. If we fix L we get the class of Ldifferential fields, which has amalgamation when the characteristic is 0. If in addition L is finite dimensional over F then the above class has a model companion (and hence a model completion). However if L isn't finitely presented (at least locally), i.e. if there is a finitely generated sub Lie algebra of L without a finite presentation, then the class of Ldifferential fields does NOT have a model companion. I will describe how this result is proved by producing a noneliminable quantifier, using a system of linear PDEs. The question of a tighter connection between companionability and finite presentability remains open. 

12:3013:30  Lunch at Churchill College  
14:0015:00  Hrushovski, E (Hebrew)  
Model theoretic topics in valued fields II  Sem 1  
15:0015:30  Tea and posters  
15:3016:30  Macintyre, A (Queen Mary, London)  
Model theory of elliptic functions: model completeness, uniformity, decidability  Sem 1  
18:4519:30  Dinner at Wolfson Court (Residents only) 