We survey the model theory of difference fields, that is, fields with a distinguished automorphism σ. After introducing the theory ACFA and stating elementary results, we discuss independence and the various concepts of rank, the dichotomy theorems, and, as an application, the Manin–Mumford conjecture over a number field. We conclude with some other applications.

Abstract not found

It is proved that any supersimple field has trivial Brauer group, and more generally that any supersimple division ring is commutative. As prerequisites we prove several results about generic types in groups and fields whose theory is simple.

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.

We prove that if F is an infinite field with characteristic di#erent from 2, whose theory is supersimple, and C is an elliptic or hyperelliptic curve over F with generic moduli then C has a generic F -rational point. The notion of generity here is in the sense of the supersimple field F .