广西师范大学学报(自然科学版)

1985, (02) 67-72

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

t-难于计算的实数的稠密性

吴淑岩

摘要(Abstract):

设R〔a,b〕为区间〔a,b〕〔0,1〕上所有可计算实数构成的类。在复杂性测度Φ下,对任一递归函数t,令R_tΦ〔a,b〕、D_tΦ〔a,b〕、D_tΦ〔a,b〕分别为〔a,b〕〔0,1〕上所有t—可计算实数所构成的类与t—难于计算的实数构成的类。我们将证明:对任意的有理数r、s,rΦ〔r,s〕是递归可枚举的。因而D_tΦ〔r,s〕是递归可枚举的。因而D_tΦ〔0,1〕在〔0,1〕中是稠密的。

关键词(KeyWords):

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 吴淑岩

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享