# Why is Prikry forcing subcomplete?

Set theory seminarFriday, February 19, 201610:00 amGC 6417

# Why is Prikry forcing subcomplete?

Subcomplete forcing was introduced by Jensen as a class of forcings which do not add reals, but may change cofinalities to $\omega$, unlike proper forcing. In this talk I will show that Prikry forcing is subcomplete.