#15,087

Most Influential Person

Mathematician, model theorist

According to Wikipedia, Alex James Wilkie FRS is a British mathematician known for his contributions to model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007.

- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function (416)
- TAME TOPOLOGY AND O-MINIMAL STRUCTURES (London Mathematical Society Lecture Note Series 248) By L OU VAN DEN D RIES : 180 pp., £24.95 (US$39.95, LMS Members' price £18.70), ISBN 0 521 59838 9 (Cambridge University Press, 1998). (363)
- Model theory with applications to algebra and analysis (230)
- On the scheme of induction for bounded arithmetic formulas (218)
- Gromov's theorem on groups of polynomial growth and elementary logic (206)
- The rational points of a definable set (190)
- THE CLASSICAL DECISION PROBLEM (Perspectives in Mathematical Logic) By Egon Börger, Erich Grädel and Yuri Gurevich: 482 pp., DM.158.–, ISBN 3 540 57073 X (Springer, 1997). (189)
- Quasianalytic Denjoy-Carleman classes and o-minimality (169)
- Counting problems in bounded arithmetic (169)
- On the decidability of the real exponential field (158)
- Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes (142)
- A theorem of the complement and some new o-minimal structures (116)
- Model theory of algebra and arithmetic (70)
- Some Results and Problems on Weak Systems of Arithmetic (55)
- Counting $Δ_0$ sets (50)
- Speculative Research : The Lure of Possible Futures (41)
- On the Existence of end Extensions of Models of Bounded Induction (37)
- An effective bound for groups of linear growth (31)
- Inventing the social (27)
- On Exponentiation - A Solution to Tarski's High School Algebra Problem (22)
- Uniform parameterization of subanalytic sets and diophantine applications (20)
- Schanuel’s Conjecture and the Decidability of the Real Exponential Field (19)
- A Schanuel property for exponentially transcendental powers (19)
- Creative Assemblages: Organisation and Outputs of Practice-Led Research (18)
- On Sentences Interpretrble in Systems of Arithmetic (18)
- A survey of asymptotic classes and measurable structures (18)
- O-MINIMAL STRUCTURES (18)
- Locally polynomially bounded structures (18)
- Applications of complexity theory to Σo-definability Problems in arithmetic (15)
- Schanuel's conjecture for non-isoconstant elliptic curves over function fields (15)
- The Lure of Possible Futures: On Speculative Research (15)
- Ax-Schanuel and o-minimality (14)
- Some observations about the real and imaginary parts of complex Pfaffian functions (13)
- O-Minimality and Diophantine Geometry (12)
- On Models of Arithmetic-Answers to Two Problems Raised by H. Gaifman (11)
- Diophantine properties of sets definable in o-minimal structures (11)
- Some local definability theory for holomorphic functions (11)
- On the theory of the real exponential field (11)
- On the theories of end-extensions of models of arithmetic (11)
- On defining C (11)
- On models of arithmetic having non-modular substructure lattices (8)
- Model Theory in Algebra, Analysis and Arithmetic (7)
- The laws of integer divisibility, and solution sets of linear divisibility conditions (6)
- Expeditionary Learning Outward Bound. Summary Report. (6)
- Models and Computability: Model Theory of Analytic and Smooth Functions (5)
- Introduction: From performance to inventing the social (5)
- Rational points on definable sets (5)
- The real field with an irrational power function and a dense multiplicative subgroup (4)
- Complex continuations of ℝan, exp-definable unary functions with a diophantine application (4)
- Introduction to abelian varieties and the Ax–Lindemann–Weierstrass theorem (4)
- Some Results and Problems on Complex Germs with Definable Mittag-Leffler Stars (3)
- Integer-valued definable functions (3)
- Models of number theory (2)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (2)
- Fusing o-minimal structures (2)
- Lectures on elimination theory for semialgebraic and subanalytic sets (2)
- On discretely ordered rings in which every definable ideal is principal (2)
- Model Theory with Applications to Algebra and Analysis: Volume 1 (1)
- Classification of Quantifier Prefixes Over Exponential Diophantine Equations (1)
- Section Introduction: Speculative techniques (1)
- 'Speculation and Speculative Research Workshop', International Workshop with participants from UK, US, and Australia on speculation in social and cultural research and STS (1)
- Review: Edward Nelson, Predicative arithmetic (1)
- On Core Structures for Peano Arithmetic (1)
- Review: Samuel R. Buss, Bounded Arithmetic (1)
- Studios, Problems, Publics (1)
- The rational points of a definable set Pila (0)
- Model Theory with Applications to Algebra and Analysis: Preface (0)
- Learning Design Through Social Science (0)
- 1997 european summer meeting of the association for symbolic logic (0)
- Acknowledgement to Reviewers (0)
- A combinatorial method of tackling the problem of hierarchy collapse , and a theorem of Ajtai (0)
- Section Introduction: Speculative Propositions (0)
- Section Introduction: Speculative implications (0)
- European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984 (0)
- Enacting Users, Mediating Publics (0)
- Participation, Translation & Accountability (0)
- Czechoslovak Academy of Sciences Prague (0)
- Lectures on the Model Theory of Real and Complex Exponentiation (0)
- Reconstruction Theorems for Families of Sets (0)
- Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France (0)
- On Defining Cinfty (0)
- Model Theory of Algebra and Arithmetic Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979 (0)
- Note on Quantifier Prefixes Over Diophantine Equations.Classification of Quantifier Prefixes over Exponential Diophantine Equations (0)
- Creating Better Visualisations With STS (0)
- Review: J. B. Paris, L. Pacholski, J. Wierzejewski, A. J. Wilkie, A Hierarchy of Cuts in Models of Arithmetic; George Mills, A Tree Analysis of Unprovable Combinatorial Statements; Jussi Ketonen, Robert Solovay, Rapidly Growing Ramsey Functions (0)
- O-Minimality and its Applications to Number Theory and Analysis (0)
- Logic Colloquium '84 Proceedings of the Colloquium Held in Manchester, U.K., July 1984 (0)
- La Sorbonne, Paris, France, July 23–31, 2000 (0)
- A Note on Products of Finite Structures with an Application to Graphs (0)
- 2000 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 2000 (0)
- O-minimality and diophantine applications (0)
- Inventive tensions: A conversation (0)
- Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 (0)
- Attaching Ethnographic Users to Objects (0)
- Section 2: Speculative lures (0)
- Controversy and Publics: Mapping Issue Networks (0)
- Mapping Issues, Topics and Controversies (0)
- ASSOCIATION FOR SYMBOLIC LOGIC (0)
- 1 Locally tame functions (0)

This paper list is powered by the following services:

Alex Wilkie is affiliated with the following schools:

This website uses cookies to enhance the user experience. Privacy Policy

Want to be an Academic Influence Insider?

Sign up to get the latest news, information, and rankings in our upcoming newsletter.