Mathematical Sciences: Recursion Theory and Set Theory

三名教研员和他们的研究生参与了这个项目。马丁和斯蒂尔将在集合论中工作。斯蒂尔和马丁在某种程度上将专注于内部模型理论和强形式的确定性。马丁还希望完成他关于确定性证明的专著。Moschovakis将致力于算法理论及其在数学计算机科学基础上的应用。集合论是所有数学的基础。重要的问题涉及所有数制、代数、几何和分析背后的公理。某些公理是必要的吗？在某些情况下，它们是否无关紧要？在这方面特别重要的是所谓的确定性公理，它可以被框定为一种声明，即特定的两人游戏对一方或另一方都有获胜策略。正在讨论的游戏包括通过让两个玩家轮流为其选择成员来构建一组。

Three faculty investigators and their graduate students are involved in this project. Martin and Steel will work in set theory. Steel, and Martin to some extent, will concentrate on inner model theory and on strong forms of determinacy. Martin also expects to complete his monograph on proofs of determinacy. Moschovakis will work in the theory of algorithms and its applications to the foundations of mathematical computer science. Set theory lies at the foundation of all mathematics. Important questions concern the axioms that underly all number systems, algebra, geometry and analysis. Are certain axioms necessary? Are they irrelevant in certain contexts? Particularly significant in this regard is the so-called Axiom of Determinacy, which can be framed as a statement that a certain two-person game has a winning strategy for one player or the other. The game in question involves constructing a set by having the two players alternate in selecting members for it.