The National Science Foundation awarded a $184,618 project grant to The Trustees Of The University Of Pennsylvania, doing business as Clinical Practices Of The University Of Pennsylvania, to support the project "EXPLICIT PROOFS FROM COMPACTNESS AND SATURATION" from September 1, 2021 through August 31, 2024.
This project grant was awarded under the Mathematical and Physical Sciences program (CFDA 47.049), which aims to promote progress in the mathematical and physical sciences and strengthen the nation's scientific enterprise through increasing scientific knowledge and enhancing understanding of major problems. The funding will support the awardee's work developing explicit proofs using techniques of compactness and saturation over the three-year period of performance.
Generated 1/6/24, 4:35 PM