Past Logic Seminar

I will explain the connection between Shelah's recent notion of strongly dependent theories and finite weight in simple theories. The connecting notion of a strong theory is new, but implicit in Shelah's book. It is related to absence of the tree property of the second kind in a similar way as supersimplicity is related to simplicity and strong dependence to NIP.

Bardakov and Tolstykh have recently shown that Richard Thompson's group

$F$ interprets the Arithmetic $(\mathbb Z,+,\times)$ with parameters. We

consider a class of infinite groups of piecewise affine permutations of

an interval which contains all the three groups of Thompson and some

classical families of finitely presented infinite simple groups. We have

interpreted the Arithmetic in all the groups of this class. In particular

we have obtained that the elementary theories of all these groups are

undecidable. Additionally, we have interpreted the Arithmetic in $F$ and

some of its generalizations without parameters.

This is a joint work with Tuna Altınel.

This is joint work with Assaf Hasson. We consider non-locally modular strongly minimal reducts of o-minimal expansions of reals. Under additional assumptions we show they have a Zariski structure.

We shall present work in progress in collaboration with E. Hrushovski on the geometry of spaces of stably dominated types in connection with non archimedean geometry \`a la Berkovich

There is a well-behaving class of dense ordered abelian groups called "regularly dense ordered abelian groups". This first order property of ordered abelian groups is introduced by Robinson and Zakon as a generalization of being an archimedean ordered group. Every dense subgroup of the additive group of reals is regularly dense. In this talk we consider subgroups of the multiplicative group, S, of all complex numbers of modulus 1. Such groups are not ordered, however they have an "orientation" on them: this is a certain ternary relation on them that is invariant under multiplication. We have a natural correspondence between oriented abelian groups, on one side, and ordered abelian groups satisfying a cofinality condition with respect to a distinguished positive element 1, on the other side. This correspondence preserves model-theoretic relations like elementary equivalence. Then we shall introduce a first-order notion of "regularly dense" oriented abelian group; all infinite subgroups of S are regularly dense in their induced orientation. Finally we shall consider the model theoretic structure (R,Gamma), where R is the field of real numbers, and Gamma is dense subgroup of S satisfying the Mann property, interpreted as a subset of R^2. We shall determine the elementary theory of this structure.

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).

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.

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.

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

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).

By classical results of Tarski and Artin-Schreier, the elementary theory of the field of real numbers can be axiomatized in purely Galois-theoretic terms by describing the absolute Galois group of the field. Using work of Ax-Kochen/Ershov and a p-adic analogue of the Artin-Schreier theory the same can be proved for the field $\mathbb{Q}_p$ of p-adic numbers and for very few other fields.

Replacing, however, the absolute Galois group of a field K by that of the rational function field $K(t)$ over $K$, one obtains a Galois-theoretic axiomatiozation of almost arbitrary perfect fields. This gives rise to a new approach to longstanding decidability questions for fields like

$F_p((t))$ or $C(t)$.

Countable Borel equivalence relations arise naturally as orbit equivalence

relations for countable groups. For each countable Borel equivalence relation E

there is an infinitary sentence such that E is equivalent to the isomorphism

relation on countable models of that sentence. For first order theories the

question is open.

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.

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

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

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