Conference: Set Theory: Large Cardinals, Forcing and Higher Order Languages — NSF Award to University of California-Irvine (CA, $3
This award a conference taking place at University of California, Irvine from February 9 to February 12, 2026. The title is: Set Theory: Larger Cardinals, Forcing and Higher Order Languages. The meeting is devoted to advances in finding a critical understanding the underlying assumptions and logic that mathematicians u
| Award title | Conference: Set Theory: Large Cardinals, Forcing and Higher Order Languages |
|---|---|
| Award ID | 2544999 |
| Awardee | University of California-Irvine |
| City | IRVINE |
| State | CA |
| Amount obligated | $34,826 |
| Principal investigator | Matthew Foreman |
| Program | FOUNDATIONS |
| Start date | 02/01/2026 |
| Abstract | This award a conference taking place at University of California, Irvine from February 9 to February 12, 2026. The title is: Set Theory: Larger Cardinals, Forcing and Higher Order Languages. The meeting is devoted to advances in finding a critical understanding the underlying assumptions and logic that mathematicians use. What separates mathematics from other fields of science is that mathematical facts are known for certain, and not subject to data errors, or a changing environment. The method |
| Source | NSF Awards |
$799/mo
Try NSFGrants →