Conference on the work of W. Hugh Woodin

该奖项为2015年3月27日至29日在哈佛大学举行的W. Hugh Woodin工作会议的参与者提供支持。自20世纪80年代初以来，伍丁教授一直是数理逻辑领域的顶尖人物之一，他在数学和哲学等其他领域都做出了重要贡献。除了他的许多成果之外，Woodin还引入了许多重要的技术方法，并且他是一些最深入的基础研究领域的主要开发者。这次会议将吸引不同的观众，它将促进对伍丁作品及其重要性的认识和理解。对于年轻的研究人员来说，这将是一个与数理逻辑领域一些最知名的人物互动的绝佳机会。经费用于支付演讲者和学生与会者的旅费。会议将集中在Woodin做出重大贡献的领域，包括集合论在分析中的应用，强迫和大基数（特别是在连续统函数上的工作），大基数和确定性公理之间的关系，强迫超过确定性模型，使用内部模型通过他的核心模型归纳技术证明自然组合陈述的一致性强度的下界。为最大的基数建立内部模型，图灵度的结构，以及集合论的哲学。这项工作的大部分都没有发表，技术上的深度和细节只有一小部分专家才能理解。会议的发言人已被挑选出来，尽可能多地涉及这一领域。有关会议的更多细节，请访问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.