|
Name: |
Professor A MacIntyre |
Organisation: |
University of Edinburgh |
Department: |
Sch of Mathematics |
Current EPSRC-Supported Research
Topics: |
|
Current EPSRC Support |
There is no current EPSRC Support |
Previous EPSRC Support |
GR/R36848/01 | ICMS Workshop on Analyzable Functions and Applications. | (P) |
GR/R32123/01 | Model Theory of Generic Structures and Simple Theories | (P) |
GR/R32048/01 | Model Theory of Generic Structures and Simple Theories | (C) |
GR/L20320/01 | INTERNATIONAL WORKSHOP: NONSTANDARD ANALYSIS AND ITS APPLICATIONS | (C) |
GR/H57424/01 | O-MINIMAL THEORIES AND P-ADIC ANALOGUES: EXAMPLES, STRUCTURE THEOREMS AND APPLICATIONS | (P) |
GR/G16502/01 | FRAGMENTS OF BOUNDED ARITHMETIC MODEL THEORY PROOF THEORY & NUMBER THEORY | (P) |
GR/E83771/01 | MODEL THEORY OF FIELDS | (P) |
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
|
|
|
|