Eccentricity, extendable choice and descending distributive forcing

Calliope Ryan-Smith

We introduce the forcing property of descending distributivity. A forcing $\mathbb{P}$ is $\kappa$-descending distributive if for all decreasing sequences $(D_{\alpha }{)}_{\alpha <\kappa }$ of open dense se…