2019
May
22

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

2:00pm to 3:30pm

## Location:

Ross 63

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''.

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''.