go top

effective descriptive set theory 添加释义

网络释义专业释义英英释义

  能行描述集合论

...以上这些内容通常又被称为「经典描述集合论,与之相对应的是所谓的「能行描述集合论Effective descriptive set theory)。能行描述集合论结合了描述集合论和一般递归论的方法,得到了一系列与经典描述集合论平行的结果。

基于10个网页-相关网页

  [数] 有效描述集合论

... 有效面积 effective area 有效描述集合论 effective descriptive set theory 有效区域 range of validity ...

基于8个网页-相关网页

  • 有效描述集合论
    能行描述集合

·2,447,543篇论文数据,部分数据来源于NoteExpress

Effective descriptive set theory

  • abstract: Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real parameter (Moschovakis 1980). Thus effective descriptive set theory combines descriptive set theory with recursion theory.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定