Anqus Macintyre - Selected publications#

• A. Macintyre, Twenty years of p—adic model theory, Logic colloq. 'S4,Proc. Colloq., Manchester/U.i<. 1984, Stud. Logic Found. Math. 120 (1986),121-153.
• A. Macintyre. Z. Chatzidakis, L. van den Dries, Definable sets over finite fields, J. Reine Angew. Math. 427 (1992), 107—135.
• A. Macintyre. L. van den Dries, D. Marker, The elementary theory of restricted analytic Helds with exponentiation, Ann.Math. 140 (1994), 183—205.
• A. Macintyre, L. Belair, T. Scanlon, Model theory of the Frobenius on the Witt vectors, Amer.J. Math. 129 (2007), 665-721.