Alex Wilkie

发表

Logic Colloquium '84 Proceedings of the Colloquium Held in Manchester, U.K., July 1984

Jeff B. Paris, Logic Colloquium, Alex Wilkie, 1986 .

An effective bound for groups of linear growth

Alex Wilkie, L. van den Dries, A. Wilkie, 1984 .

On the decidability of the real exponential field

Angus Macintyre, Alex Wilkie, A. Wilkie, 1996 .

On the Existence of end Extensions of Models of Bounded Induction

Jeff B. Paris, Alex Wilkie, 1989 .

Alex Wilkie, 1994 .

Quasianalytic Denjoy-Carleman classes and o-minimality

Alex Wilkie, A. Wilkie, P. Speissegger, 2003 .

A survey of asymptotic classes and measurable structures

Anand Pillay, Dugald Macpherson, Zoé Chatzidakis, 2008 .

Model theory with applications to algebra and analysis

Anand Pillay, Dugald Macpherson, Zoé Chatzidakis, 2008 .

The rational points of a definable set

Alex Wilkie, Jonathan Pila, A. Wilkie, 2006 .

Some Results and Problems on Weak Systems of Arithmetic

Alex Wilkie, 1978 .

O-MINIMAL STRUCTURES

Alex Wilkie, A. Wilkie, 2007 .

On the theory of the real exponential field

Alex Wilkie, 1989 .

Gromov's theorem on groups of polynomial growth and elementary logic

Alex Wilkie, L. van den Dries, A. Wilkie, 1984 .

On Exponentiation - A Solution to Tarski's High School Algebra Problem

Alex Wilkie, 2001 .