We prove that Solovay’s set ΣΣ is generic over the ground model via a forcing notion whose order relation ⊆⊆-extends the given order relation.
生成讲解博客的中文版本
生成AI智能校验的中文版本