2017年3月14日:Academy of Mathematics and Systems Science, CAS Colloquia & Seminars

Academy of Mathematics and Systems Science, CAS
Colloquia & Seminars

Speaker:    
Prof. Ralf Schindler, University of Muenster, Germany

Inviter:    
Title:
Varsovian models
Time & Venue:
2017.3.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.


发布时间:2017-03-13 21:56:24
联系我们      关于本站      版权所有© 2009-2017  北京大学哲学系逻辑、语言与认知研究中心      地址:北京大学人文学苑二号楼