Conference on the work of W. Hugh Woodin

W. Hugh Woodin 工作会议

• 批准号: 1516781
• 负责人: Paul Larson
• 金额: $ 1.8万
• 依托单位: Miami University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-03-01 至 2017-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1516781&HistoricalAwards=false
• 关键词: Conference; work; W.; Hugh; Woodin

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.

该奖项为参加W.休·伍丁，将于2015年3月27日至29日在哈佛大学举行。自20世纪80年代初以来，伍丁教授一直是数理逻辑领域的顶尖人物之一，他在数学和哲学等领域都做出了重要贡献。除了他的许多成果，伍丁还介绍了一些重要的技术方法，他一直是基础研究的一些最深领域的主要开发者。会议将吸引不同的观众，它将促进对伍丁的工作及其重要性的认识和理解。对于年轻的研究人员来说，这将是一个与数理逻辑领域一些最著名的人物互动的绝佳机会。会议将集中讨论Woodin所做的主要贡献，包括集合论在分析中的应用，强迫和大基数（特别是连续函数的工作），大基数和确定性公理之间的关系，强迫确定性模型，通过核心模型归纳技术，使用内部模型证明自然组合语句的一致性强度下界，建立最大大基数的内部模型，图灵度的结构，以及集合论的哲学。这些工作大部分都没有发表，技术上很深入，只有少数专家才能详细了解。会议的发言者已被选定，以涵盖尽可能多的这一领域。关于会议的更多细节可在网站http://logic.harvard.edu/woodin_meeting.html上找到。