| EPSRC Reference: |
GR/M64895/01 |
| Title: |
MODEL-THEORETIC ALGEBRA AND ALGEBRAIC MODELS OF COMPUTATION |
| Principal Investigator: |
Macintyre, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Mathematics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
29 August 2000 |
Ends: |
28 June 2001 |
Value (£): |
23,325
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Funding is sought for an intensive workshop aimed at promoting 2-way traffic between the refined definability techniques of recent model theory and the varied techniques (geometric, topological, algebraic and probabilistic)predominant in modern algebraic models of computation. Special emphasis will be put on td-differential geometric and algebraic geometric techniques, which have been basic in both traditions.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.ed.ac.uk |