Conference on the work of W. Hugh Woodin

该奖项为将于2015年3月27日至29日在哈佛大学举行的W.Hugh Woodin工作会议的与会者提供支持。自20世纪80年代初S以来，伍丁教授一直是数理逻辑领域的顶尖人物之一，他在数学和哲学等领域都做出了重要贡献。除了他的许多成果，伍丁还引入了许多重要的技术方法，他一直是一些最深入的基础研究领域的主要开发者。这次会议将吸引不同的观众，并将促进人们对伍丁的工作及其重要性的认识和理解。对于年轻的研究人员来说，这将是一个与数理逻辑领域一些最知名的人物互动的绝佳机会。会议将集中在以下领域：集合论在分析中的应用，强迫和大基数(特别是在连续统函数方面的工作)，大基数和确定性公理之间的关系，强迫确定性模型，通过他的核心模型归纳技术使用内部模型来证明自然组合陈述的一致性强度的下限，为最大的大基数建立内部模型，图灵度的结构，以及集合论的哲学。这些工作的大部分都是未发表的，技术上很深入，只有几个专家小组才能详细理解。会议发言人的选择是为了尽可能多地涉及这一领域。有关这次会议的更多细节，请访问网站http://logic.harvard.edu/woodin_meeting.html.。

This award provides support for participants to Conference on the work of W. Hugh Woodin,to be held at Harvard University during March 27-29, 2015. Professor Woodin has been one of the top figures in mathematical logic since the early 1980's, and he has made important contributions to other areas, both in mathematics and philosophy. In addition to his many results, Woodin has introduced a number of important technical methods, and he has been the primary developer of some of the deepest areas of foundational research. The meeting will attract a diverse audience, and it will promote awareness and understanding of Woodin's work and its importance. For younger researchers, it will be an excellent opportunity to interact with some of the best-known figures in mathematical logic. Funds are requested to cover the travel expenses of the speakers and student participants.The conference will focus on areas to which Woodin has made major contributions include applications of set theory to analysis, forcing and large cardinals (especially work on the continuum function), the relationship between large cardinals and the Axiom of Determinacy, forcing over models of determinacy, using inner models to prove lower bounds in consistency strength for natural combinatorial statements via his core model induction technique, building inner models for the largest large cardinals, the structure of the Turing degrees, and the philosophy of set theory. Much of this work is unpublished, technically deep and understood in detail by only small groups of experts. The speakers for the meeting have been chosen to cover as much of this ground as possible. More details on the conference can be found at the web site http://logic.harvard.edu/woodin_meeting.html.