# Past Logic Seminar

25 January 2008

14:15

18 January 2008

14:15

Itai Ben Yaacov

Abstract

H. Jerome Keisler suggested to associate to each classical structure M a family of "random" structures consisting of random variables with values in M . Viewing the random structures as structures in continuous logic one is able to prove preservation results of various "good" model theoretic properties e.g., stability and dependence, from the original structure to its randomisation. On the other hand, simplicity is not preserved by this construction. The work discussed is mostly due to H.
Jerome Keisler and myself (given enough time I might discuss some applications obtains in joint work with Alex Usvyatsov).

30 November 2007

14:15

22 November 2007

10:00

Alice Medvedev

Abstract

I will speak about the Zilber trichotomy for weakly minimal difference varieties, and the definable structure on them.
A difference field is a field with a distinguished automorphism $\sigma$. Solution sets of systems of polynomial difference equations like
$3 x \sigma(x) +4x +\sigma^2(x) +17 =0$ are the quantifier-free definable subsets of difference fields. These \emph{difference varieties} are similar to varieties in algebraic geometry, except uglier, both from an algebraic and from a model-theoretic point of view.
ACFA, the model-companion of the theory of difference fields, is a supersimple theory whose minimal (i.e. U-rank $1$) types satisfy the Zilber's Trichotomy Conjecture that any non-trivial definable structure on the set of realizations of a minimal type $p$ must come from a definable one-based group or from a definable field. Every minimal type $p$ in ACFA contains a (weakly) minimal quantifier-free formula $\phi_p$, and often the difference variety defined by $\phi_p$ determines which case of the Zilber Trichotomy $p$ belongs to.

9 November 2007

14:15

Jonathan Kirby

Abstract

I will push Schanuel's conjecture in four directions: defining a dimension
theory (pregeometry), blurred exponential functions, exponential maps of
more general groups, and converses. The goal is to explain how Zilber's
conjecture on complex exponentiation is true at least in a "geometric"
sense, and how this can be proved without solving the difficult number
theoretic conjectures. If time permits, I will explain some connections
with diophantine geometry.

8 November 2007

10:00

Assaf Hasson

Abstract

We survey the classification of structures interpretable in o-minimal theories in terms of thorn-minimal types. We show that a necessary and sufficient condition for such a structure to interpret a real closed field is that it has a non-locally modular unstable type. We also show that assuming Zilber's Trichotomy for strongly minimal sets interpretable in o-minimal theories, such a structure interprets a pure algebraically closed field iff it has a global stable non-locally modular type. Finally, if time allows, we will discuss reasons to believe in Zilber's Trichotomy in the present context

2 November 2007

14:15

26 October 2007

15:15

A. Pillay

Abstract

18 October 2007

16:00

I. Halupczok

Abstract

To understand the definable sets of a theory, it is helpful to have some invariants, i.e. maps from the definable sets to somewhere else which are invariant under definable bijections. Denef and Loeser constructed a very strong such invariant for the theory of pseudo-finite fields (of characteristic zero): to each definable set, they associate a virtual motive. In this way one gets all the known cohomological invariants of varieties (like the Euler characteristic or the Hodge polynomial) for arbitrary definable sets.
I will first explain this, and then present a generalization to other fields, namely to perfect, pseudo-algebraically closed fields with pro-cyclic Galois group. To this end, we will construct maps between the set of definable sets of different such theories. (More precisely:
between the Grothendieck rings of these theories.) Moreover, I will show how, using these maps, one can extract additional information about definable sets of pseudo-finite fields (information which the map of Denef-Loeser loses).