当前位置:首页 > 学术活动 > 讨论班

中科院数学与系统科学研究院

数学研究所

 

数理逻辑讨论班

 

报告人:Prof. Ralf SchindlerUniversity of Muenster, Germany)  

 

 目:Varsovian models  

 

 间:2017.03.14(星期二), 15:00--16:00       

 

 点:数学院南楼N818 

Abstract: In joint work with Gunter Fuchs we show that if L[E] is tame, has no strong cardinal, and does not know how to fully iterate itself, then L[E] has class many grounds and their intersection is a lower part model, the "minimal core" of L[E]. In sharp contrast, in joint work with Grigor Sargsyan, building upon earlier work of himself and Martin Zeman, we show that if L[E] is least with a strong cardinal above a Woodin cardinal, then L[E] has only set many grounds. Its smallest ground is of the form L[E',\Sigma], where L[E'] is the fully iterable (in L[E]) core model of L[E] and \Sigma is an iteration strategy for L[E']. In particular, L[E',\Sigma] has no proper ground.

附件
相关文档