|
Name: |
Professor A Wilkie |
Organisation: |
University of Manchester, The |
Department: |
Mathematics |
Current EPSRC-Supported Research
Topics: |
|
Current EPSRC Support |
There is no current EPSRC Support |
Previous EPSRC Support |
EP/J01933X/1 | O-minimality and diophantine geometry | (P) |
EP/I01912X/1 | MAPLE: MAthematics PLatform Engagement activity | (C) |
EP/F068751/1 | New directions in the model theory of fields: an LMS Durham research symposium | (C) |
GR/S16997/01 | Low Level Complexity and Bounded Arithmetic | (P) |
GR/R57263/01 | Model Theory Of Analytical and Pseudo-analytic structures. | (C) |
GR/N19861/01 | WORKSHOP ON CIRCUIT AND PROOF COMPLEXITY, ICMS, EDINBURGH, 1-7 OCTOBER 2001 | (P) |
GR/L01176/01 | BOUNDED ARITHMETIC, PROPOSITIONAL LOGIC AND COMPLEXITY THEORY | (P) |
GR/H57424/01 | O-MINIMAL THEORIES AND P-ADIC ANALOGUES: EXAMPLES, STRUCTURE THEOREMS AND APPLICATIONS | (C) |
GR/G16502/01 | FRAGMENTS OF BOUNDED ARITHMETIC MODEL THEORY PROOF THEORY & NUMBER THEORY | (C) |
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
|
|
|
|