逸仙逻辑讲坛第四十七期｜Dominik Adolf：典范模型上的典范幂集

主讲人简介 

Dominik Adolf is a researcher at the Institute for Advanced Studies in Mathematics at the Harbin Institute of Technology. His research interests are mathematical logic, especially set theory, in particular inner model theory and the theory of stationary sets, specifically Chang’s Conjecture, Mutual Stationarity and their intersections. He has publications in first-rate journals including the Journal of American Mathematical Society.

Dominik Adolf 是哈尔滨工业大学高等数学研究院的研究员。他的研究方向是数理逻辑，特别是集合论，尤其关注内模型论和平稳集理论，特别是张氏猜想、相互平稳性及其交集。他的论文发表于包括《美国数学会杂志》在内的顶级期刊。

 讲座摘要 
Inner Model Theory going back to Gödel's constructible universe L concerns itself with the study of canonical models of set theory. In this talk we will discuss when the 'stack', a sort of canonical powerset, over a canonical model exists. We will show that this is always the case when the height of the structure has uncountable cofinality. These results, we believe, will be crucial to extending the theory of core models which in turn are essential to computing the consistency strength of extensions of the usual axioms of mathematics.