Foundations
This grant supports research in mathematical logic and the foundations of mathematics, such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. It also funds conferences, workshops, summer/winter schools, and similar activities related to these areas.
Key facts
Update history