中科院数学与系统科学研究院
数学研究所
数理逻辑讨论班
报告人: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.