...以上这些内容通常又被称为「经典描述集合论,与之相对应的是所谓的「能行描述集合论(Effective descriptive set theory)。能行描述集合论结合了描述集合论和一般递归论的方法,得到了一系列与经典描述集合论平行的结果。
基于6个网页-相关网页
能行描述集合论
It can describe set theory
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动