Martin's Conjecture: A Classification of the Naturally Occurring Turing Degrees
Martin's Conjecture: A Classification of the Naturally Occurring Turing Degrees
复制标题
马丁猜想：自然发生的图灵度的分类
DOI：
10.1090/noti1940
复制
发表时间：
2019
影响因子：
--
通讯作者：
Montalbán, Antonio
中科院分区：
文献类型：
--
作者：
Montalbán, Antonio
本文是关于可计算性理论中自然发生的对象，这是数理逻辑中研究无限可数对象的复杂性的领域。它是关于当我们用一种叫做马丁测度的测度来观察几乎所有地方的行为时所出现的结构。在20世纪70年代提出的马丁猜想是这种隐藏结构的第一个迹象。马丁猜想是目前可计算性理论中的主要开放问题之一，具有重要的基础性意义。进展一直很缓慢，直到最近我们才开始意识到马丁的度量可以在多大程度上用于理解可计算性理论中自然发生的对象的行为。
This paper is about naturally occurring objects in computability theory, the area inside mathematical logic that studies the complexity of infinite countable objects. It is about the structure that emerges when we look at almosteverywhere behavior with respect to a measure called Martin’s measure. Posed in the 1970s, Martin’s conjecture was the first indication of this hidden structure. Martin’s conjecture is currently one of the main open questions in computability theory and is of great foundational importance. Progress has been slow, and only recently we have started to appreciate the extent to which Martin’s measure can be used to understand the behavior of naturally occurring objects in computability theory.
登录
查看更多内容
影响因子：
1.3
作者：
Kihara Takayuki;Montalban Antonio
通讯作者：
Montalban Antonio
DOI：
--
发表时间：
2017
期刊：
Computability and Complexity
影响因子：
--
作者：
A. Montalbán
通讯作者：
A. Montalbán
DOI：
10.1017/jsl.2018.65
发表时间：
2017
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
A. Montalbán;J. Walsh
通讯作者：
J. Walsh
7 跳转算子的分类
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
C. Chong;Lian Yu
通讯作者：
Lian Yu
贝尔空间的可约性和确定性
DOI：
--
发表时间：
1982
期刊：
影响因子：
--
作者：
W. Wadge
通讯作者：
W. Wadge