Project Grant 2452009
Award Date
9/1/25
Completion Date
8/31/26
Dollars Obligated
$110K
Federal Agency
Division of Mathematical Sciences
Federal Grant Program
47.049
Assistance Type
Project Grant
Place of Performance
Philadelphia, PA 19104, USA
Similar Awards
This $451,324 National Science Foundation Project Grant supports collaborative research on definability and computability over arithmetically significant fields through The Trustees of the University of Pennsylvania. Funded under the Mathematical and Physical Sciences program (CFDA 47.049), this three-year award will advance understanding of polynomial equations, a foundational mathematical language, through interaction of logic, number theory, algebraic geometry, topology and related areas....
This $290,000 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences (MPS) program supports research in computable model theory and invariant descriptive computability theory. The award, spanning July 2024 to June 2027, will fund work that explores connections between computability theory and the fields of model theory and set theory within mathematical logic. Key objectives include investigating cases where mathematically equivalent objects have...
This Project Grant award for $100,000.00 was provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences program (CFDA 47.049). The funding supports research into inner models, combinatorics, and determinacy related to the Large Cardinal Axioms (LCAs) in set theory. The primary objectives are to advance the state of knowledge regarding canonical models for LCAs and their relationship with other foundational frameworks in set theory. This includes exploring...
This National Science Foundation (NSF) Project Grant award under the Mathematical and Physical Sciences federal grant program (CFDA 47.049) will explore new ways to address complex mathematical problems by integrating advanced machine learning techniques with automated reasoning. The $418,035 grant awarded to Carnegie Mellon University will support a collaborative research effort between mathematicians and computer scientists to develop and evaluate new algorithms for solving three specific open...
The National Science Foundation Division of Mathematical Sciences awarded a $317,099 Project Grant to Rutgers, The State University under the Mathematical and Physical Sciences federal grant program (CFDA 47.049). The three-year award will support research into infinitary combinatorics and set theory, focusing on analyzing combinatorial principles such as the tree property, stationary reflection, and square principles in relation to cardinal arithmetic, especially singular cardinal arithmetic....
This federal Project Grant award for $300,000.00, provided by the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program, supports research to significantly expand the investigator's work on applications of model theory to the study of geometric structures. The key objectives are to: 1) tackle major transcendence problems such as the Ax-Lindemann-Weierstrass and Ax-Schanuel conjectures for uniformizing functions of geometric structures in higher...
This Project Grant from the National Science Foundation's Division of Mathematical Sciences, under the Mathematical and Physical Sciences federal grant program (CFDA 47.049), provides $440,000 to support research in model theory from August 1, 2022 to July 31, 2025. The Principal Investigator at the University of Maryland, College Park will investigate mechanisms by which a theory can control combinatorial configurations in its models. Specific areas of focus include monadic expansions of...
The Trustees Of The University Of Pennsylvania received a $569,999 Project Grant award from the National Science Foundation Division of Mathematical Sciences on July 15, 2021 to support research titled "HIGHER FUNCTION FIELD ARITHMETIC" through June 30, 2024. The grant is part of the NSF's Mathematical and Physical Sciences program (CFDA 47.049), which aims to promote progress in the mathematical and physical sciences and strengthen the national scientific enterprise. Specifically, the...
This Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences Program (CFDA 47.049) supports research to develop new mathematical tools and understanding of the long-term dynamics and rigidity of certain infinite-volume mathematical systems. The $300,000 award to Yale University, to be completed by June 30, 2028, focuses on advancing the frontier of pure mathematics, with the goal of enabling applications in areas like data encryption, navigation, and...
This $118,647 Project Grant award from the National Science Foundation's Division of Mathematical Sciences (CFDA 47.049, Mathematical and Physical Sciences) supports fundamental research in descriptive set theory and its connections to other mathematical fields, including computability, operator algebras, topological dynamics, and ergodic theory. The award will fund research on questions related to amenability and hyperfiniteness, as well as investigations into classical geometrical paradoxes...