We prove that αM(λ)αM(λ) can be successor of a supercompact cardinal, when λλ is a Magidor cardinal. From this result we obtain the consistency of αM(λ)αM(λ) being a successor of a singular cardinal with uncountable cofinality.
生成讲解博客的中文版本
生成AI智能校验的中文版本