Why Is Alex Wilkie Influential?
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.
Alex Wilkie's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
1980 1990 2000 2010 2020 0 50 100 150 200 250 300 350 400 450 500 550 600 Published Papers Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function 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). Model theory with applications to algebra and analysis On the scheme of induction for bounded arithmetic formulas Gromov's theorem on groups of polynomial growth and elementary logic The rational points of a definable set 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). Quasianalytic Denjoy-Carleman classes and o-minimality Counting problems in bounded arithmetic On the decidability of the real exponential field (158) Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes A theorem of the complement and some new o-minimal structures Model theory of algebra and arithmetic Some Results and Problems on Weak Systems of Arithmetic Counting $Δ_0$ sets Speculative Research : The Lure of Possible Futures On the Existence of end Extensions of Models of Bounded Induction An effective bound for groups of linear growth Inventing the social (27) On Exponentiation - A Solution to Tarski's High School Algebra Problem (22) Uniform parameterization of subanalytic sets and diophantine applications Schanuel’s Conjecture and the Decidability of the Real Exponential Field A Schanuel property for exponentially transcendental powers Creative Assemblages: Organisation and Outputs of Practice-Led Research On Sentences Interpretrble in Systems of Arithmetic A survey of asymptotic classes and measurable structures O-MINIMAL STRUCTURES (18) Locally polynomially bounded structures Applications of complexity theory to Σo-definability Problems in arithmetic Schanuel's conjecture for non-isoconstant elliptic curves over function fields The Lure of Possible Futures: On Speculative Research (15) Ax-Schanuel and o-minimality Some observations about the real and imaginary parts of complex Pfaffian functions O-Minimality and Diophantine Geometry On Models of Arithmetic-Answers to Two Problems Raised by H. Gaifman Diophantine properties of sets definable in o-minimal structures Some local definability theory for holomorphic functions On the theory of the real exponential field On the theories of end-extensions of models of arithmetic On defining C On models of arithmetic having non-modular substructure lattices Model Theory in Algebra, Analysis and Arithmetic The laws of integer divisibility, and solution sets of linear divisibility conditions Expeditionary Learning Outward Bound. Summary Report. (6) Models and Computability: Model Theory of Analytic and Smooth Functions Introduction: From performance to inventing the social (5) Rational points on definable sets 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 Introduction to abelian varieties and the Ax–Lindemann–Weierstrass theorem Some Results and Problems on Complex Germs with Definable Mittag-Leffler Stars Integer-valued definable functions Models of number theory (2) 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 Fusing o-minimal structures Lectures on elimination theory for semialgebraic and subanalytic sets On discretely ordered rings in which every definable ideal is principal Model Theory with Applications to Algebra and Analysis: Volume 1 Classification of Quantifier Prefixes Over Exponential Diophantine Equations 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 On Core Structures for Peano Arithmetic Review: Samuel R. Buss, Bounded Arithmetic Studios, Problems, Publics (1) The rational points of a definable set Pila (0) Model Theory with Applications to Algebra and Analysis: Preface Learning Design Through Social Science (0) 1997 european summer meeting of the association for symbolic logic (0) Acknowledgement to Reviewers 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 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 Reconstruction Theorems for Families of Sets 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 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 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 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 1 Locally tame functions (0) More Papers This paper list is powered by the following services:
Other Resources About Alex Wilkie What Schools Are Affiliated With Alex Wilkie? Alex Wilkie is affiliated with the following schools:
Alex Wilkie's AcademicInfluence.com Rankings
