Berkeley Conference in Inner Model Theory

内模型理论伯克利会议将于2019年7月8日至19日在加州大学伯克利分校数学系举行。它将致力于内模理论的重大最新进展。新的工作包括迭代树组合学的进展，导致了没有长扩展器的老鼠迭代策略的一般比较定理，并从那里到确定性公理模型中遗传有序可定义集的新理论。伯克利会议将聚集来自世界各地的内模型理论专家，以及对该领域有浓厚兴趣的学生和博士后，以便交流和追求新的想法。大基数假设在数学的集合论基础中起着中心作用。内部模型程序试图将每个大的基本假设与该假设为真的规范最小集合联系起来。我们对大型基本假设的一些最深刻的理解来自于这个项目。核心模型归纳法是我们构建这种规范内部模型的最强大的方法，本次会议将致力于在重要方面加强该方法的最新工作。会议的网站是https://ivv5hpp.uni-muenster.de/u/rds/berkeley_meeting_2019.html.This。奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，认为值得支持。

The Berkeley Conference on Inner Model Theory will be held July 8-19, 2019 at the Department of Mathematics, University of California, Berkeley. It will be devoted to significant recent progress in inner model theory. The new work includes advances in iteration tree combinatorics, leading to a general comparison theorem for the iteration strategies of mice having no long extenders, and from there to a new theory of the hereditarily ordinal definable sets in models of the Axiom of Determinacy. The Berkeley conference will gather experts in inner model theory from around the world, as well as students and postdocs with a serious interest in the field, in order to communicate and pursue the new ideas.Large cardinal hypotheses play a central role in the set-theoretic foundations of mathematics. The inner model program attempts toassociate 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, and this conference will be devoted to recent work that strengthens the method in important ways. The website for the conference is https://ivv5hpp.uni-muenster.de/u/rds/berkeley_meeting_2019.html.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.