Third Muenster conference on inner model theory, the core model induction, and hod mice

该奖项支持美国参加将于2015年7月20-21日在德国明斯特大学明斯特数学研究所举行的第三届明斯特内部模型理论、核心模型归纳和HOD MICE会议。会议将致力于通过核心模型归纳方法构建规范内部模型的最新工作，以及作为这项工作基础的HOD小鼠理论。大型基数假设在数学的集合论基础中起着核心作用。内部模型程序试图将每个大型基数假设与其中该假设为真的集合的规范极小宇宙相关联。我们对大型基本假设的一些最深刻的理解来自于这个项目。核心模型归纳法是我们构建这种规范内部模型的最有力的方法。这次会议将专门讨论在重要方面加强这一方法的近期工作。会议的网址是http://wwwmath.uni-muenster.de/logik/Personen/rds/muenster_meeting_2015.html.。

This award supports US participation in the Third Muenster conference on inner model theory, the core model induction, and hod mice that will be held July 20-21, 2015 at the Institut fur Mathematische Logik, WWU Muenster, Germany. The conference will be devoted to recent work on the construction of canonical inner models via the core model induction method, and to the theory of hod mice upon which this work rests. Large cardinal hypotheses play a central role in the set-theoretic foundations of mathematics. The inner model program attempts to associate to each large cardinal hypothesis a canonical minimal universe of sets in which that hypothesis is true. Some of our deepest understanding of large cardinal hypotheses come from this program. The core model induction method is our most powerful method for constructing such canonical inner models. This conference will be devoted to recent work that strengthens the method in important ways. The website for the conference is http://wwwmath.uni-muenster.de/logik/Personen/rds/muenster_meeting_2015.html.