Project Grant 2348792
Award Date
7/1/24
Completion Date
6/30/27
Dollars Obligated
$290K
Federal Agency
Division of Mathematical Sciences
Federal Grant Program
47.049
Assistance Type
Project Grant
Place of Performance
Madison, WI 53715, USA
Similar Awards
This Project Grant award, provided by the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) federal grant program, supports a research project focused on three main areas involving the applications of model theory. The total funding amount is $119,999 and the award date is June 15, 2025, with an ultimate completion date of May 31, 2026. The first project area involves using model theory to advance the understanding of solutions to differential and...
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 award of $100,000.00, funded by the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program, supports research on inner models, combinatorics, and determinacy in set theory. The primary objectives are to advance the state of knowledge regarding canonical models for large cardinal axioms (LCAs) and their relationship with other foundational frameworks of set theory. Specific research activities include exploring aspects of the sealing...
This Project Grant award of $109,999.00 from the National Science Foundation's (NSF) Division of Mathematical Sciences under the Mathematical and Physical Sciences program (CFDA 47.049) supports research to develop new techniques for analyzing the computational strength of the theory of second order arithmetic. The project aims to introduce the use of self-modifying computer programs to characterize this abstract mathematical theory and translate its strength into concrete computational...
The National Science Foundation (NSF) awarded a $270,000 Project Grant under the Mathematical and Physical Sciences (CFDA 47.049) federal grant program to the University of California, Berkeley (UC Berkeley). The 3-year grant, effective August 1, 2024, supports research in descriptive set theory and computability, which aims to classify mathematical objects and understand the relative difficulty of classification problems. The project has several focus areas, including studying amenability and...
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...
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...
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...
This Project Grant award from the National Science Foundation (CFDA 47.049 - Mathematical and Physical Sciences) provides $145,144 to the University of Illinois to conduct research connecting the mathematical fields of analysis, combinatorics, and model theory. The key objectives are to: Develop a general arithmetic regularity lemma for noncommutative groups using continuous logic model theory, which is expected to advance the model-theoretic framework for arithmetic combinatorics. Pursue a...
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....