Prof. Alex Wilkie FRS
- Room 2.137
- School of Mathematics
- University of Manchester
- Oxford Road, Manchester, M13 9PL, UK
- Tel: +44 (0) 161 275 5858
- Fax: +44 (0) 161 275 5819
Alex Wilkie FRS is a mathematician known for his contributions to Model theory and logic . Previously professor of mathematics at the University of Oxford , he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007 .
Wilkie gained his PhD from the University of London in 1973 under the supervision of Wilfrid Hodges with a dissertation entitled Models of Number Theory . He was elected a Fellow of the Royal Society in 2001.
Sequences and Series
1. On models of arithmetic-answers to two problems raised by H. Gaifman, J Symb Logic, 40 (1975) (1), 41-47.
2. A note on products of finite structures with an application to graphs, J Lond Math Soc (2), 14 (1976), 383-384.
3. On the theory of end-extensions of models of arithmetic, in: Set Theory and Hierarchy Theory V, SLNM 619, Springer-Verlag, 1997, 305-310.
4. On models of arithmetic having non-modular substructure lattices, Fund. Math., XCV (1977), 223-237.
5. Reconstruction theorems for families of sets (with R Rado), J Lond Math Soc (2), 17 (1978), 5-9.
6. Applications of complexity theory to sigma-zero definability problems in arithmetic, in: Model Theory of Algebra and Arithmetic, SLNM 834, Springer-Verlag, 1980, 363-369.
7. Some results and problems on weak systems of arithmetic, in: Logic Colloquium '77, North-Holland, 1980, 285-296.
8. Models of arithmetic and the rudimentary sets (with J B Paris), Bull Soc Math Belg 33 (1981), 1, 157-169.
9. On discretely ordered rings in which every definable ideal is principal, in: Model Theory and Arithmetic, SLNM 890, Springer-Verlag, 1981, 297-303.
10. On core structures for Peano arithmetic, in: Logic Colloquium '80, North-Holland, 1982, 311-314.
11. Delta-zero sets and induction (with J B Paris), in: Open Days in Model Theory and Set Theory, Leeds University, 1983, 237-248.
12. Gromov's theorem on groups of polynomial growth and elementary logic (with L van den Dries), J Algebra, 89 (1984), 391-396.
13. An effective bound for groups of linear growth (with L van den Dries), Arch Math, 42 (1984), 391-396.
14. Counting problems in bounded arithmetic (with J B Paris), in: Methods in Mathematical logic, SLNM 1130, Springer-Verlag, 1985, 317-340.
15. Characterizing some low arithmetic classes (with J B Paris and W G Handley), Coll Math Soc Janos Bolyai, 44 (1984), 353-364.
16. Modeles non-standard en arithmetique et theorie des ensembles (with J-P Ressayre), Pub Math de l'universite Paris VII,1986, (147 pages).
17. On sentences interpretable in systems of arithmetic, in: Logic Colloquium '84, North-Holland, 1986, 329-342.
18. Classification of quantifier prefixes over exponential diophantine equations (with J P Jones and H Levitz), Z fur Math Log und Grund der Math, 32 (1986), 388-406.
19. Counting delta-zero sets (with J B Paris), Fund Math,127 (1) (1986), 67-76.
20. On the scheme of induction for bounded arithmetic formulas (with J B Paris), Annals of Pure and Applied Logic, 35 (1987), 261-302.
21. On schemes axiomatizing arithmetic, in: Proc of ICM, Berkeley, Ca, USA, 1986 (1988), 331-337.
22. Provability of the Pigeonhole principle and the existence of infinitely many primes (with J B Paris and A R Woods), J Symb Logic, 53, (1988), 12355-1244.
23. On the theory of the real exponential field,Illinois J Math, 33, 3, (1989), 384-408.
24. On the existence of end extensions of models of bounded induction, in: Logic, Methodology and Philosophy of Science, VIII (Moscow 1987), Stud Logic and Found Math, 126, North Holland, 1989, 143-161.
25. On defining C-infinity,J Symb Logic, 59, (1994), (1), 344.
26. Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J Amer Math Soc, 9, (4), 1996, 1051-1094.
27. On the decidability of the real exponential field (with A J Macintyre), in: Kreiseliana.About and Around Georg Kreisel', A K Peters, 1996, 441-467.
28. Schanuel's conjecture and the decidability of the real exponential field, in: Algebraic Model Theory, 1997, Kluwer, 223-230.
29. O-minimality, in: Proceedings of the ICM, Berlin, 1998, Vol 1, Documenta Mathematica, J.DMV, 1998, 633-636.
30. Model theory of analytic and smooth functions,in:Models and Computability, LMS Lecture Notes Series 259, CUP, 1999, 407-419.
31. A theorem of the complement and some new O-minimal structures, Selecta Mathematica, New Ser.5 (1999), 397-421.
32. On exponentiation - a solution to Tarski's High School Algebra Problem, in: Connections between Model Theory and Algebraic and Analytic Geometry, Quaderni di Matematica, vol. 6 (ed. by Angus Macintyre), Naples, 2000, 107-129. ( dvi file , postscript file )
33. Quasianalytic Denjoy-Carleman classes and o -minimality (with J-P Rolin and P Speissegger), J Amer Math Soc,16, (2003), (4), 751-777. (See http://www.math.wisc.edu/~speisseg/preprints/quasi.ps.)
34. The laws of integer divisibility and solution sets of linear divisibilty conditions (with L van den Dries), J Symb Logic, 68, (2003), (2), 503-526. ( postscript file )
35. Diophantine properties of sets definable in o -minimal structures, J Symb Logic, 69, (2004), (3), 851-861. ( dvi file )
36. Fusing o -minimal structures, J Symb Logic, 70, Number 1, March 2005, 271-281 ( dvi file )
37. Covering definable open sets by open cells, Proceedings of the RAAG Summer School Lisbon 2003: O-minimal structures, Eds M. Edmundo, D. Richardson, A.J. Wilkie (2005), 77-103 ( dvi file )
38. Liouville functions, Lecture Notes in Logic 19, Logic Colloquium 2000, Eds R. Cori, A. Razborov, S. Tudorcevic, C. Wood (2005), 383-391 ( dvi file )
39. The rational points of a definable set. (with J Pila.) Duke Mathematical J,Vol.133, No.3 (2006), 591-616.
40. Some local definability theory for holomorphic functions. Model Theory with Applications to Algebra and Analysis, Vol 1 (2008) LMS Lecture Note Series 349, CUP, 197-213.
41. Locally polynomially bounded structures (with G. O. Jones), Bull. London Math. Soc. 40 (2008) 239-248.
42. O-minimal structures, Expose no.985, Seminaire Bourbaki, Volume 2007/2008, Asterisque (2009).
43. A Schanuel property for exponentially transcendental powers, (with Martin Bays and Jonathan Kirby), Bull. London Math. Soc. 42 (2010) 917-922.