Théorie des modèles
Org: Patrick Speissegger (McMaster)
[PDF]


MATTHIAS ASCHENBRENNER, University of Illinois at Chicago
Asymptotic differential algebra
[PDF]

I will report on recent progress in the joint project with van den Dries and van der Hoeven mentioned in the title of the talk.

OZLEM BEYARSLAN, University of Illinois at Chicago
Pseudofinite Fields and Tournaments
[PDF]

A tournament on a set X is an irreflexive binary relation R Ì X×X such that, for every x ¹ y in X, exactly one of R(x,y) and R(y,x) holds. A pseudofinite field F interprets a tournament by the formula $z : (x-y)=z2. The automorphism group of any field interpreting a 0-definable tournament can not have any involutions.

To generalize this observation, we will examine the effects of interpreting such structures on the automorphism groups of certain pseudofinite fields.

This is work in progress with Ehud Hrushovski.

GREGORY CHERLIN, Rutgers University
Connected Groups of Finite Morley Rank: Structure
[PDF]

We give a status report on the subject, with emphasis on recent achievements and challenges.

ALF DOLICH, McMaster University Hamilton, ON
Some Remarks on Weak O-minimality and Definable Completeness
[PDF]

We consider to what extent the role played by weakly o-minimal theories among all densely ordered theories is analogous to the role played by o-minimal theories among the definably complete densely ordered theories. In particular we ask whether certain results indicating that any sufficiently well-behaved definably complete theory is o-minimal or close to o-minimal may be generalized by dropping the assumption of definable completeness and weakening the conclusion from "o-minimal or close to o-minimal" to "weakly o-minimal or close to weakly o-minimal". We show through example that this is not the case.

DRAGOS GHIOCA, Department of Mathematics, McMaster University, 1280 Main Street West, Hamilton, Ontario L8S 2N5
A generalization of the Manin-Mumford Theorem
[PDF]

Let G be a semiabelian variety defined over a number field K. Let X be a subvariety of G defined over Kalg. The Manin-Mumford Theorem describes the intersection of X(Kalg) with the torsion subgroup Gtor of G. More precisely, if X is an irreducible subvariety and X(Kalg) ÇGtor is Zariski dense in X, then X is a translate of an algebraic subgroup of G by a torsion point. In the present talk we show that we obtain the same conclusion about X assuming only that it contains a Zariski dense set of points of small height. Because all torsion points of G have height 0, we obtain that Manin-Mumford Theorem is a particular case of the result we present. Finally, we present a positive characteristic version of the Manin-Mumford Theorem in the context of Drinfeld modules.

DEIDRE HASKELL, McMaster University, 1280 Main St. W, Hamilton, ON L8P 2T4
Integral-definite rational functions in theories of valued fields
[PDF]

An analogue for valued fields of Hilbert's Seventeenth Problem asks for an algebraic characterisation of rational functions which map a definable subset of the field into the valuation ring. In this talk, I will describe a model-theoretic solution to this problem which is uniform across different theories of valued fields. I will apply it to algebraically closed valued fields, real closed valued fields, and model complete theories of difference and differential fields with a valuation.

TOBIAS KAISER, University of Regensburg, D-93040 Regensburg
An o-minimal version of the Riemann Mapping Theorem
[PDF]

We show that the germ of a Riemann map (i.e., a biholomorphic map from a simply connected domain in the complex plane onto the unit ball) at an analytic corner of angle greater than 0 can be realized in a certain quasianalytic class, used by Ilyashenko in his solution of Hilbert's 16th problem. With this we are able to show that the Riemann map from a simply connected domain which is semianalytic and bounded, is definable in an o-minimal structure under some condition on the singularities of the domain.

SALMA KUHLMANN, University of Saskatchewan, Department of Mathematics and Statistics, McLean Hall, 106 Wiggins Road, Saskatoon, SK S7N 5E6
Integer Parts and Complements to Valuation Rings of Ordered Fields
[PDF]

An integer part (IP for short) Z of an ordered field K is a discretely ordered subring, with 1 as the least positive element, and such that for every x Î K, there is a z Î Z such that z £ x < z+1. Mourgues and Ressayre establish the existence of an IP for any real closed field K by showing that there is an order preserving embedding j of K into the field of generalized power series k((G)) such that j(K) is a truncation closed subfield (here k is the residue field and G the value group of K). An IP of K obtained in this way (i.e., from a truncation closed embedding) is called a truncation integer part of K. IPs appear naturally in model theoretic arithmetic, algebra and analysis; e.g. Shepherdson showed that IPs of real closed fields are precisely the models of a fragment of Peano Arithmetic called Open Induction, whereas truncation IPs played a crucial role in Ressayre's investigations of the model theory of the real exponential field. In this talk, we analyze IPs from a valuation theoretic viewpoint and summarize their main special features. We investigate their connection to special (additive) complements of valuation rings of ordered fields. This approach reveals new interesting valuation theoretic properties of arbitrary valued fields (not just ordered fields); depending on whether such special complements exist. We discuss these properties and their implications, thereby giving an intrinsic valuation theoretic interpretation of truncation closed embeddings in fields of power series.

Joint work with F.-V. Kuhlmann and A. Fornasiero.

DAVID LIPPEL, Notre Dame, USA

CHRIS MILLER, Ohio State, Columbus
A proper reduct of the real projective hierarchy that defines sets in each projective level
[PDF]

There exist closed E Í R such that (R,+,·,E) defines a Borel isomorph of (R,+,·,N), and so defines sets of every projective level, yet does not define N, even when (R,+,·,E) is further expanded by all subsets of every cartesian power of E.

Joint work with Harvey Friedman.

PAUL POTGIETER, University of South Africa, PO Box 392, Preller Street, Pretoria, South Africa, 0003
Nonstandard analysis, Hausdorff dimension and Brownian motion
[PDF]

In this paper we explore a nonstandard formulation of Hausdorff dimension. By considering an adapted form of the counting measure formulation of Lebesgue measure, we prove a nonstandard version of Frostman's lemma and find that Hausdorff dimension can be computed through a counting argument rather than by taking the infimum of a sum of certain covers. This formulation is then applied to obtain a simple proof of the doubling of the dimension of certain sets under a Brownian motion. In addition, the fractal properties of the rapid points of Brownian motion are explored using the new method, strengthening a result of Orey and Taylor's.

FERNANDO SANZ SÁNCHEZ, Universidad de Valladolid, Departamento de Álgebra, Geometría y Topología, Facultad de Ciencias, E-47005 VALLADOLID, Spain
Non-oscillating solutions of a differential equation and Hardy fields
[PDF]

Let j: x® j(x), x > a be a solution at infinity of an algebraic differential equation of order n, P(x,y,y¢,...,y(n)) = 0. We establish a geometric criterion so that the germ at infinity of j, together with that of the identity function on R, belongs to a common Hardy field.

More precisely, under the hypothesis that P/y(n)( x,j(x),j¢(x),...,j(n)(x) ) is never zero, the criterion is the following non-oscillating property: for any polynomial Q Î R [x,y,y¢,...,y(n-2)], the function x® Q ( x,j(x),j¢(x),...,j(n-2)(x) ) has a definite sign for x >> 0. Immediate applications for differential equations of order one or two are given.

CAROL WOOD, Wesleyan University, Middletown, Connecticut, USA
Partial Differential Fields and Separation of Variables
[PDF]

A result of Johnson, Reinhart and Rubel (1995) shows that, unlike the one variable case, it is not possible in general to approximate solutions to partial differential equations via finite transcendence extensions. We indicate the relationship of this phenomenon to types in the model theory of partial differential fields in characteristic zero.