Speaker:
Dima Sinapova
Institution:
UCI
Time:
Monday, April 23, 2012 - 4:00pm to 5:30pm
Host:
Location:
RH 440R
Starting from a supercompact, we construct a model in which SCH fails at $\aleph_\omega$ and there is a bad scale at $\aleph_\omega$. The existence of a bad scale implies the failure of weak square. The construction uses two Prikry type forcings defined in different ground models and a suitably defined projection between them. This is joint work with Spencer Unger.