We show that the consistency of ZF+ADR+‘‘ΘZF+ADR+‘‘Θ is measurable"" implies the consistency of ZF+‘‘ΘZF+‘‘Θ is the least strongly regular cardinal and the least measurable cardinal"" + ‘‘‘‘all uncountable cardinals below ΘΘ are of countable cofinality"".
生成讲解博客的中文版本
生成AI智能校验的中文版本