EPSRC logo
Researcher Details
 
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