The Variety of Projection of a Tree-Prikry Forcing

Tom Benhamou, Moti Gitik, Yair Hayut

We study which $\kappa$-distributive forcing notions of size $\kappa$ can be embedded into tree Prikry forcing notions with $\kappa$-complete ultrafilters under various large cardinal assumptions…