Set Theory Seminar - Gabriel Fernandes (BIU) (part II)

Abstract: We combine a technique of Steel with one due to Jensen and Steel to obtain a core model below singular cardinals kappa which are sufficiently closed under the beth function, assuming that there is no premouse of height kappa with unboundedly many Woodin cardinals. The motivation for isolating such core model is computing a lower bound for the strength of the theory: T = ''ZFC + there is a singular cardinal kappa such that the set of ordinals below kappa where GCH holds is stationary and co-stationary''. We can apply to the above core model a technique of Gitik, Schindler and Shelah that was used to obtain a lower bound for the strength of T.


Wed, 22/05/2019 - 14:00 to 15:30


Ross 63