Foundations
Funds mathematical logic and the foundations of mathematics — proof theory, recursion theory, model theory and set theory.
About
This programme funds research in mathematical logic and the foundations of mathematics.
The named areas are proof theory, recursion theory, model theory, set theory and infinitary combinatorics.
Thirty awards are expected against a $2.3 million pool, which puts the typical award well under $100,000 — small by NSF standards, and characteristic of a field where the main cost is people's time rathe…
Each grant below is a distinct funding opportunity with its own eligibility, scope, and deliverables.