加载中…
We prove a common refinement of theorems of Bergfalk and of Casarosa and Lambie-Hanson, showing that under certain hypotheses, the higher derived limits of a certain inverse system of abelian groups do not vanish. The refined theorem has a number of interesting corollaries, including the nonvanishing of the second derived limit of in many of the common models of set theory of the reals and in the Mitchell model. In particular, we disprove a conjecture of Bergfalk, Hrušák, and Lambie-Hanson that higher derived limits of vanish in the Miller model.

生成讲解博客的中文版本

生成AI智能校验的中文版本