The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics.
Who can apply:
Eligible functional categories:
Mathematical and Physical Sciences
This program does not have a full announcement. More information about the program is available here.
If you have problems accessing the full announcement, please contact:
National Science Foundation, 4201 Wilson Boulevard, Arlington VA 22230