Classes of barren extensions

Natasha Dobrinen, Daniel Hathaway

Henle, Mathias, and Woodin proved that, provided that $\omega \to (\omega {)}^{\omega }$ holds in a model $M$ of ZF, then forcing with $([\omega {]}^{\omega },{\subseteq }^{\ast })$ over $M$ adds no new sets of ordinals,…