Computable Lipschitz 归约下c.e.实数的性质
项目介绍
AI项目解读
基本信息
- 批准号:11126055
- 项目类别:数学天元基金项目
- 资助金额:3.0万
- 负责人:
- 依托单位:
- 学科分类:A0101.数学史、数理逻辑与公理集合论
- 结题年份:2012
- 批准年份:2011
- 项目状态:已结题
- 起止时间:2012-01-01 至2012-12-31
- 项目参与者:--
- 关键词:
项目摘要
Computable Lipschitz归约(简记为cl-归约) [DHL01]作为比较实数随机性的归约工具由新西兰的Downey,美国的Hirschfieldt,Lafort等专家提出。Cl-归约是一种极强的Turing归约,即给定变量,其用函数对应为增加某个常数。作为新工具,cl-归约的引入引起了国内外随机性理论研究方面诸多专家的注意。特别的,cl-归约下computable enumberable(c.e.)实数又表现与以往经典Turing-归约等不同的度结构。这些结论也引起可计算理论专家对cl-归约下度结构的关注。本课题旨在研究对cl-归约下c.e.实数(包括c.e.集合)的性质。此工作在可计算性理论和随机性理论两方面都具有价值。
结项摘要
本项目旨在研究在computable Lipschitz 归约下c.e.实数的性质。(我们简称computable Lipschitz归约下所对应的度为cl-度)。作为特殊的c.e.实数类,c.e.集合对应的cl-度结构是我们本项目中研究重点。首先,对于cl-归约下特殊结构-最大对,我们分析了其与array不可计算的c.e.度的关系,以及最大对和Turing完备,Wtt-完备之间关系,并且得到相应的一些有意义的结论;另外,通过对cl-度的cup性质的分析,得到了cl-度与特殊的cl-度(ibT-度)之间的区分,此前这样的区分尚未找到。本项目的研究补充了c.e.集合对应的cl-度理论,体现了cl-归约在可计算理论中的应用。
项目成果
期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
内容获取失败,请点击重试
查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图
请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
范赟的其他基金
Computable Lipschitz 归约在随机性及可计算性理论中的应用
- 批准号:11201065
- 批准年份:2012
- 资助金额:22.0 万元
- 项目类别:青年科学基金项目
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}