Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,609,015 papers from all fields of science
Search
Sign In
Create Free Account
Turing degree
Known as:
Turing equivalence (recursion theory)
, Recursively enumerable Turing degree
, T-degree
Expand
In computer science and mathematical logic the Turing degree (named after Alan Turing) or degree of unsolvability of a set of natural numbers…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
25 relations
Algorithmically random sequence
Arithmetical hierarchy
Chaitin's constant
Computable function
Expand
Broader (2)
Computability theory
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The urban road bus signals mode of priority
吕伟韬
,
陈凝
,
张韦华
,
李攀
,
盛旺
2017
Corpus ID: 215824007
The present invention provides a kind of urban road bus signals mode of priority, and using phase lock mechanisms, the right-turn…
Expand
2016
2016
Upload Planning for Mobile Data Collection in Smart Community Internet-of-Things Deployments
Qiuxi Zhu
,
Md Yusuf Sarwar Uddin
,
Zhijin Qin
,
N. Venkatasubramanian
International Conference on Smart Computing
2016
Corpus ID: 1510040
In this paper, we develop effective solutions for enabling mobile sensing/data collection in community IoT deployments where…
Expand
2010
2010
Modeling Self-Organizing, Faulty Peer-to-Peer Systems as Complex Networks
S. Ferretti
2010
Corpus ID: 13942430
The theory of complex networks provides effective mathematical tools for analyzing properties of communication systems. This…
Expand
2007
2007
Scalable and deterministic key agreement for large scale networks
Yun Zhou
,
Yuguang Fang
IEEE Transactions on Wireless Communications
2007
Corpus ID: 18909746
Key agreement is a central problem to build up secure infrastructures for networks. Public key technology may not be suitable in…
Expand
2007
2007
The Atomic Model Theorem
D. Hirschfeldt
,
R. Shore
,
T. Slaman
2007
Corpus ID: 14003810
We investigate the complexity of several classical model theoretic theorems about prime and atomic models and omitting types…
Expand
2004
2004
DOUBLE JUMP INVERSIONS AND STRONG MINIMAL COVERS IN THE TURING DEGREES
Yuval Gabay
2004
Corpus ID: 17466533
Decidability problems for (fragments of) the theory of the structure D of Turing degrees, form a wide and interesting class, much…
Expand
1976
1976
Co-hypersimple structures
J. Remmel
Journal of Symbolic Logic (JSL)
1976
Corpus ID: 43093868
Priority arguments have been used to produce r.e. sets whose complements have various properties (e.g., maximal sets…
Expand
1967
1967
ON A THEOREM OF LACHLAN AND MARTIN
G. Sacks
1967
Corpus ID: 25008816
In [3] we raised the following question: does there exist a recursively enumerable degree d such that 0(n)< <(n) < O(n+1) for all…
Expand
Review
1960
Review
1960
Review: Richard M. Friedberg, A Criterion for Completeness of Degrees of Unsolvability
M. B. Pour-El
1960
Corpus ID: 118945614
1959
1959
Computing degrees of unsolvability
Hartley RogersJr.
1959
Corpus ID: 128120437