CAREER: Current and Future Developments of the Core Model Induction

Zermelo-Fraenkel公理加上选择公理(ZFC)已被广泛接受为数学的基础；几乎所有已被研究并应用于其他科学领域的数学分支都可以用ZFC来解释。然而，事实证明，有一些自然而重要的数学理论不能仅由ZFC来决定。大型基数公理(LCA)是ZFC的扩展，旨在解决所有这些理论。这是哥德尔在集合论中的程序。如果生命周期评价是“正确的”，那么它决定的理论也是正确的。如何测试生命周期评价的正确性？内模程序是现代集合论中的一个主要程序，它通过构建LCA的规范模型来证明正确性，就像自然数是Peano算术公理(PA)的规范模型一样(同样，PA也是一个正确的理论)。该项目通过提出从ZFC的各种扩展中构建LCA的规范模型的方法来为内部模型计划做出贡献。教育部分包括年度会议、课程开发、外联和扩大参与活动。该项目符合研究内部模型、实数集、混合结构(如确定性模型的遗传有序可定义集(HOD))、强迫和强组合原理(如真强迫公理(PFA))之间的联系的一般框架。为LCA构建规范的内部模型的问题称为该LCA的内部模型问题。该项目的主要目标之一是确定某些障碍，这些障碍可能会阻碍目前解决各种LCA的内部模型问题的方法进一步发展，并提出克服这些障碍的方法。具体地说，该项目将研究核心模型归纳法当前技术的障碍(其中一个障碍是普遍的拜尔集合的封存)，并开发克服这些障碍的核心模型归纳法的新方法。上述分析的一个主要应用是从ZFC的各种强大扩展中构建大型红衣主教的规范内部模型，如适当的强迫公理。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

The Zermelo-Fraenkel axioms plus the Axiom of Choice (ZFC) have been widely accepted as a foundation for mathematics; virtually all branches of mathematics that have been studied and applied to other scientific fields can be interpreted in ZFC. However, it turns out that there are natural and important mathematical theories which cannot be decided by ZFC alone. The Large Cardinal Axioms (LCAs) are extensions of ZFC designed to settle all such theories. This is Gödel's program in Set Theory. If an LCA is "correct," then the theories it decides are also correct. How can one test for correctness of an LCA? The Inner Model Program, a major program in modern Set Theory, justifies correctness by constructing canonical models for LCAs much like the natural numbers are the canonical model for the Peano Axioms of Arithmetic (PA) (and as such PA is a correct theory). This project contributes to the Inner Model Program by advancing methods for constructing canonical models for LCAs from various extensions of ZFC. The educational component includes annual conferences, curriculum development, and outreach and broadening participation activities. The project fits into the general framework of studying the connections between inner models, sets of reals, hybrid structures (such as hereditarily ordinal definable sets (HOD) of determinacy models), forcing, and strong combinatorial principles (such as the Proper Forcing Axiom (PFA)). The problem of building a canonical inner model for an LCA is referred to as the Inner Model Problem for that LCA. One of the project's main goals is to identify certain obstructions that may prevent the current approaches to resolving the Inner Model Problem for various LCAs from going further as well as proposing ways of overcoming them. Specifically, the project will study obstacles to the current techniques of the Core Model Induction (one such obstacle is the Sealing of the Universally Baire Sets) and develop new approaches to the Core Model Induction that overcome these obstacles. One main application of the above analyses is in constructing canonical inner models of large cardinals from various strong extensions of ZFC, like the Proper Forcing Axiom.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.