The Variety of Projection of a Tree-Prikry Forcing
arXiv:2109.09069
Abstract
We study which -distributive forcing notions of size can be embedded into tree Prikry forcing notions with -complete ultrafilters under various large cardinal assumptions. An alternative formulation -- can the filter of dense open subsets of a -distributive forcing notion of size be extended to a -complete ultrafilter.