Project Grant 2452197

Award Date 6/15/25
Completion Date 5/31/26
Dollars Obligated $120K
Federal Grant Program
47.049
Assistance Type
Project Grant
Place of Performance
Chicago, IL 60612, USA
Similar Awards
This $145,144 federal Project Grant award from the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) program supports research at the University of Illinois that connects analysis, combinatorics, and model theory. The primary goals are to develop a general arithmetic regularity lemma for arbitrary groups using continuous logic, and to provide a quantitative understanding of stable functions on groups as applied to arithmetic combinatorics. This...
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 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 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 federal Project Grant award from the National Science Foundation (CFDA 47.049 - Mathematical and Physical Sciences) in the amount of $210,000.00 aims to study interactions between model theory, geometry, and combinatorics. The key goals are to: 1) Prove new instances of Zilber's Trichotomy for geometric relics of structures, 2) Use new trichotomy results to study reconstruction problems in geometry, 3) Investigate broader interpretations of the trichotomy beyond strong minimality, and 4)...
The University of Illinois was awarded a $113,918 Project Grant from the National Science Foundation Division of Mathematical Sciences under the Mathematical and Physical Sciences federal grant program (CFDA 47.049) to support research on Applications of Model Theory to Functional Transcendence. The grant will fund research from October 1, 2021 through June 30, 2024 exploring major problems in functional transcendence through the application of model-theoretic techniques. As the lead awardee,...
The National Science Foundation Division of Mathematical Sciences awarded a $195,001 Project Grant to the University of Notre Dame under the Mathematical and Physical Sciences federal grant program (CFDA 47.049). The three-year award will support research into model-theoretic tree properties and their applications in algebra and combinatorics. Specifically, the Principal Investigator will continue developing the theory of model-theoretic tree properties and pursue applications of these...
This Project Grant award of $120,000.00 from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) aims to further develop the understanding of set-theoretic methods and their role in the field of topology, particularly in relation to concepts like compactness and convergence. The research project has three key components: Classifying the simplest nonmetrizable compact topological spaces under the additional axiomatic assumption of the Proper Forcing...
This federal Project Grant award of $100,000.00, made under the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049), supports research on inner models, combinatorics, and determinacy within the field of set theory. The award aims to advance the state of knowledge regarding canonical models for large cardinal axioms and their relationships with other foundational frameworks in set theory. The research will be conducted by the University of North Texas...
This National Science Foundation (NSF) Project Grant award under the Mathematical and Physical Sciences program (CFDA 47.049) supports $299,998 in fundamental and applied research on the use of probabilistic methods to study deterministic objects with sophisticated structure. The principal investigator plans to address several significant conjectures in areas like geometric and combinatorial group theory, differential geometry, and automorphic forms. The award will fund activities to train...

This Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049) provides $119,999 to the University of Illinois to conduct research centered around three main projects involving model theory. The first project aims to continue progress in resolving long-standing open problems for algebraic differential and difference equations using model theory. The second project seeks to develop connections between model theory and machine learning. The third project involves applying lessons learned from machine learning and difference equations in more general model theoretic settings. This 1-year award, effective June 15, 2025 through May 31, 2026, also includes graduate student training. The research is expected to lead to fundamental new advances in model theory and have applications in areas like algebraic dynamics and machine learning.

Generated 7/1/25, 1:54 AM