{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,3,7]]，“日期-时间”：“2024-03-07T17:23:50Z”，“时间戳”：1709832230640}，“参考-计数”：4，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“2”，“许可证”：[{“开始”：{:“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：10876，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[1984,6]}”，“abstract”（摘要）：“和罗杰斯[3]一样，我们对待偏度数<\/jats:italic>作为枚举度<\/jats:italic>（即，函数的部分度由其图的枚举度标识）。我们在[1]中表明，不存在最小偏度。本文的目的是表明以下偏度数0\u2032<\/jats:bold>（即\u03a3<\/jats:italic>2<\/jats:sub>部分函数）是稠密的。从这里我们可以看到\u03a3<\/jats:italic>2<\/jats:sub>集在枚举度中扮演着与图灵度中递归可枚举集所扮演的相似的角色。当然，这些技术与证明萨克斯密度定理（见[4，p.20]）所需的递归可枚举图灵度的技术有很大不同<\/jats:p>符号和术语与[1]相似。特别地，W公司e<\/jats:sub><\/jax:italic>，D类x<\/jats:sub>，\u3008m、 n<\/jats:italic>\u3009，\u03c8型e分别是e在给定的r.e.集的标准列表中的第个r.e.集合，其标准索引为x的递归代码(m、 n<\/jats:italic>）和e第个枚举运算符（派生自W公司e）。递归近似等也如[1]中所定义<\/jats:p>定理1。如果B和C是\u03a3<\/jats:italic>2<\/jats:sub>数字集和B\u2270e<\/jats:sub>C，则有一个带<\/jax:italic>的e运算符\u0398<\/jats:dispformula>证明。我们列举了一个e<\/jats:italic>-运算符\u0398以满足条件列表：<\/jats:dispformula>让{B类s<\/jats:sup><\/jax:italic>\u2223s<\/jats:italic>\u2265 0}{C类s<\/jats:sup><\/jax:italic>\u2223s<\/jats:italic>\u2265 0}是对的递归近似序列B、 C<\/jats:italic>，对于每个\u0445<\/jats:italic>，\u0445<\/jats:italic>\u2208B<\/jats:italic>\u21d4（\u2203s<\/jats:italic>*）（\u2200s<\/jats:italic>\u2265s<\/jats:italic>*）(\u0445<\/jats:italic>\u2208B类s<\/jats:sup><\/jats:italic>）和\u0445<\/jats:italic>\u2208C<\/jats:italic>\u21d4（\u2203s<\/jats:italic>*）（\u2200s\u2265s<\/jats:italic>*）(\u0445<\/jats:italic>\u2208C类s<\/jats:sup><\/jats:italic>）<\/jats:p>“，”DOI“：”10.2307\/2274181“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,5,6]]，”date-time“：”2006-05-06T22:08:28Z“，”timestamp“：1146953308000}，”page“：\u03a3_{2<\/sub>集合是稠密的“]，”前缀“：”10.1017“，”卷“：”49“，”作者“：[{”给定“：”S.B.“，”家族“：”库珀“，”序列“：”第一“，”从属关系“：[]}]，”成员“：”56“，”在线发布“：{”日期部分“：[[2014,3,12]}，”引用“：[}”关键字“：”S0022481200033545_ref001“，”首页“：”854“，”体积“：”47“，”作家“：”库珀“，”年份“：”1982“，”新闻标题“：”偏度和密度问题“}，{“key”：“S0022481200033545_ref002”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/BFb0067135”}，“key“：”S0022481 200033545 _ref003“，”volume-title“：”递归函数和有效可计算性理论“，”author“：”Rogers“，”year“：”1967“}”，{“”递归理论：其推广与应用”，“作者”：“Soare”，“年份”：“1980”}]，“容器-时间”：[“符号逻辑杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200033545”，“内容-类型”：“未指定”，“content-version”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,23]]，”date-time“：”2019-05-23T20:47:46Z“，”timestamp“：1558644466000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200033545\/type\/journal_article“}}”，“subtitle”：[]，“shorttitle”：[]，“已发布”：{date-parts“：[[1984,6]]}，”references-count“：4，”journal-issue“：{”issue“：”2“，”published-print“：{”date-part“：[[1984,6]]}}，“alternative-id”：[“S0022481200033545”]，“URL”：“http://\/dx.doi.org\/10.2307\/2274181”，“relational”：{}，‘ISSN’：[“0022-4812”，“1943-5886”]，”ISSN-type“：[{“数值”：“0022-4812”，“类型”：“打印”}，{“值”：“1943-5886”，“型号”：“电子”}]，“主题“：[]，”已发布“：{“日期部分”：[[1984,6]]}}}