Distributivity and Minimality in Perfect Tree Forcings for Singular Cardinals
Maxwell Levine, Heike Mildenberger · arXiv (Cornell University) · 2021
Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_κ$ consisting of perfect trees of height $λ$ and width $κ$ where $κ$ is a singular $ω$-strong limit of cofinality $λ$. They showed that if $κ$ is singular of countable cofinality, then $\mathbb{P}_κ$ is minimal for $ω$-sequences assuming that $κ$ is a supremum of a sequence of measurable cardinals. We obtain this result without the measurability assumption. Prikry proved that $\mathbb{P}_κ$ is $(ω,ν)$-distributive for all $ν