We prove that the consistency of the existence of a Dowker filter at κ+κ+ along with 2κ=κ+2κ=κ+ where κκ is regular and uncountable. Using Magidor forcing we also prove the consistency of the existence of a Dowker filter at μ+μ+ where μ>cf(μ)>ωμ>cf(μ)>ω.
生成讲解博客的中文版本
生成AI智能校验的中文版本