The National Science Foundation awarded a $179,999 project grant to Carnegie Mellon University on June 1, 2021 for work completing May 31, 2024. The grant supports research titled "Forcing, Large Cardinals, and Infinitary Combinatorics" under the Mathematical and Physical Sciences program (CFDA 47.049).
The grant will fund research exploring forcing techniques, large cardinal axioms, and infinitary combinatorics over the three year period. The NSF Mathematical and Physical Sciences program aims to advance scientific knowledge and understanding in these fields, consistent with the scope of the awarded research. Carnegie Mellon University will serve as the primary awardee, delivering the proposed mathematical investigations and analyses through their Office of Sponsored Programs.