Mathematical Sciences: Determinacy, Inner Models, and Generic Embeddings

17从：cwood@nsf.gov（卡罗尔·伍德）在注5/24/96 8:17AM（2834字节：52 ln）到：jwhitehu在nsf11， ahorton在nsf11 cc: cwood@nsf.gov注：主题：杜博斯/伯克摘要(UNLV, 9626212) -------------------------------消息内容-------------------------------文本项目1：文本项目日期：星期三，1996年5月22日14:58:28 -0700 （PDT）从：德里克·杜博斯dubose@nevada.edu到：卡罗尔·伍德cwood@nsf.gov主题：摘要-版本：亲爱的卡罗尔，以下是两份摘要（最后）。我将等待任何意见、建议等。就我而言，我有点笼统，而不是特别指出，我对老鼠的确定性强度感兴趣，因为在固定数量的Woodin基数之上有如此多的可测量值。我想这很好，一般化，更能满足抽象的目的？？德里克------------------------------------------------------------------------ DMS-9626212德里克杜博斯/道格拉斯伯克道格拉斯伯克和德里克杜博斯参与了这个项目。道格拉斯·伯克的研究主要关注集合论中的泛型嵌入。这些嵌入有助于使用新公理（大基数）来证明集合论中通常的基本公理中不可判定的陈述。特别是，它们在描述集合论和组合集合论中有许多应用。Burke在他的研究计划中有两个长期目标：(i)将大基数和一般嵌入应用于组合问题（并将组合结果应用于关于一般嵌入的问题），以及（ii）将大基数和实数的可定义良序之间的联系扩展到更大的可定义集合类。德里克·杜博斯（Derrick DuBose）一直致力于建立在尖锐函数下封闭的内部模型与接近分析层次底层的类的确定性之间的对应关系。他打算建立类似的对应关系，涉及在分析层次结构中较高的类。他还将继续研究适度的确定性假设和小“老鼠”和温和的大基本性质的确定性强度。在过去的五十年里，许多自然数学问题已经被证明是独立于集合论的通常公理的。为了解决这类问题，引入了新的公理。特别重要的是大基数公理和确定性假设。大基数公理是关于无限的公理，而确定性假设则表明某些可定义的无限游戏具有获胜策略。令人惊讶的是，这两组公理之间存在着很强的联系。两者都很重要，因为它们决定了实数集和其他“小”集的许多性质。

17 From: cwood@nsf.gov (Carol Wood) at NOTE 5/24/96 8:17AM (2834 bytes: 52 ln) To: jwhitehu at nsf11, ahorton at nsf11 cc: cwood@nsf.gov at NOTE Subject: DuBose/Burke abstract (UNLV, 9626212) ------------------------------- Message Contents ------------------------------- Text item 1: Text Item Date: Wed, 22 May 1996 14:58:28 -0700 (PDT) From: DERRICK DUBOSE dubose@nevada.edu To: Carol Wood cwood@nsf.gov Subject: abstracts Mime-Version: 1.0 Dear Carol, below are the two abstracts (finally). I shall be waiting for any comments, suggestions, etc. On my portion, I was somewhat general, instead of specifically indicating that in particular, I am interested in the determinacy strength of mice with so many measurables above some fixed number of Woodin cardinals. I guess this is fine, being general, and better satisfies the purpose of the abstract?? Thanks in advance for any comments, Derrick ------------------------------------------------------------------------ DMS-9626212 Derrick DuBose/Douglas Burke Douglas Burke and Derrick DuBose are involved in this project. The research of Douglas Burke is primarily concerned with generic embeddings in set theory. These embeddings have been instrumental in using new axioms (large cardinals) to prove statements that are undecidable in the usual, basic axioms of set theory. In particular, they have many applications in descriptive set theory and combinatorial set theory. Burke has two long term goals in his research program: (i) to apply large cardinals and generic embeddings to combinatorial questions (and apply combinatorial results to questions about generic embeddings), and (ii) to extend the connection between large cardinals and definable well-orderings of the real numbers to larger classes of definable sets. Derrick DuBose has been engaged in establishing correspondences between inner models closed under sharp functions and the determinacy of classe s near the bottom of the analytic hierarchy. He intends to establish similar correspondences involving classes higher up in the analytic hierarchy. He will also continue to investigate moderate determinacy assumptions and the determinacy strength of small "mice" and of mild large cardinal properties. During the last fifty years, many natural mathematical questions have been shown to be independent of the usual axioms of set theory. In order to decide such questions, new axioms have been introduced. Of particular importance are Large Cardinal Axioms and Determinacy Hypotheses. The Large Cardinal Axioms are axioms of infinity, whereas determinacy hypotheses state that certain definable infinite games have winning strategies. Surprisingly, a strong connection exists between these two groups of axioms. Also both are important in that they decide many properties about sets of real numbers and other ``small'' sets.