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

数学研究所

数理逻辑讨论班

报告人：Prof. Ralf Schindler（Munster University)

题  目：Ground generation

时  间：2018.05.22（星期二）, 14:00--16:00                       

地  点：数学院南楼N913室

摘  要: Usuba recently showed that if \kappa is extendible, then the \kappa-mantle of  V is the smallest ground of V. Here, W is a ground of V iff V is a forcing extension of W, W is a \kappa-ground of V iff V is a forcing extension of W via a forcing of size < \kappa, and the \kappa-mantle of V is the intersection of all \kappa-grounds of V. We identified a similar phenomenon if V=L[E] is an extender model: We present the nice argument why the Varsovian model derived from a system of grounds of L[E] is itself a gound of L[E]. We won't presuppose knowledge of inner model theory. This is joint work with Sargsyan and Schlutzenberg.