We investigate the circumstances under which there exist a singular cardinal μμ and a short (κ,μ)(κ,μ)-extender EE witnessing “κκ is μμ-strong”, such that μμ is singular in \Ult(V,E)\Ult(V,E).
生成讲解博客的中文版本
生成AI智能校验的中文版本