...以上这些内容通常又被称为「经典描述集合论,与之相对应的是所谓的「能行描述集合论(Effective descriptive set theory)。能行描述集合论结合了描述集合论和一般递归论的方法,得到了一系列与经典描述集合论平行的结果。
基于10个网页-相关网页
... 有效面积 effective area 有效描述集合论 effective descriptive set theory 有效区域 range of validity ...
基于8个网页-相关网页
以上来源于: WordNet
应用推荐