Construction of computable measure theory

可计算测度理论的构建

• 批准号: 26870143
• 负责人: Miyabe Kenshi
• 金额: $ 2.5万
• 依托单位: Meiji University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2014
• 资助国家: 日本
• 起止时间: 2014-04-01 至 2018-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-26870143/
• 关键词: 計算可能測度論; Schnorrランダム性; 密度ランダム性; 微分定理; algorithmic randomness; Schnorr random; reducibility; computability; 計算可能解析; 各層計算可能性; Schnorrランダムネス; 測度論; ランダムネス

项目成果

3ランダムネスの複雑性による特徴づけ

3 复杂性对随机性的表征

• 发表时间: 2015
• 作者: Kenshi Miyabe;Akimichi Takemura;Kenshi Miyabe;Kenshi Miyabe and T.Kihara;K. Miyabe and A. Takemura;宮部賢志
• 通讯作者: 宮部賢志

Schnorr randomness versions of K, C, LR, VL-reducibilities

K、C、LR、VL 约简性的 Schnorr 随机性版本

• 发表时间: 2014
• 作者: Kenshi Miyabe;Andre Nies;Jing Zhang;宮部賢志;宮部賢志;宮部賢志;Kenshi Miyabe;宮部賢志;宮部賢志;Kenshi Miyabe;Kenshi Miyabe
• 通讯作者: Kenshi Miyabe

Coherence of Reducibilities with Randomness Notions

• DOI: 10.1007/s00224-017-9752-2
• 发表时间: 2018-10
• 期刊: Theory of Computing Systems
• 影响因子: 0.5
• 作者: Kenshi Miyabe

Using Almost-everywhere theorems from Analysis to Study Randomness

• DOI: 10.1017/bsl.2016.10
• 发表时间: 2014-11
• 期刊: Bull. Symb. Log.
• 作者: Kenshi Miyabe;A. Nies;Jing Zhang

Randomness and Solovay degrees

随机性和 Solovay 度

• DOI: 10.4115/jla.2018.10.3
• 发表时间: 2018
• 期刊: Journal of Logic and Analysis
• 影响因子: 0.2
• 作者: Miyabe Kenshi;Nies Andre;Stephan Frank
• 通讯作者: Stephan Frank