In this paper we isolate a new criterion for when a given real xx is generic over LL in terms of xx’s capability of lifting elementary embeddings of initial segments of LL.
生成讲解博客的中文版本
生成AI智能校验的中文版本