Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,055,575 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.
Highly Cited
2014
Highly Cited
2014
Degrees of Unsolvability
K. Ambos-Spies
,
Peter A. Fejer
Computational Logic
2014
Corpus ID: 9286941
Highly Cited
2014
Highly Cited
2014
The TODIM analysis approach based on novel measured functions under hesitant fuzzy environment
Xiaolu Zhang
,
Zeshui Xu
Knowledge-Based Systems
2014
Corpus ID: 42415145
Highly Cited
2011
Highly Cited
2011
Fuzzy analytic hierarchy process: A logarithmic fuzzy preference programming methodology
Yingming Wang
,
K. Chin
International Journal of Approximate Reasoning
2011
Corpus ID: 26688266
Highly Cited
2011
Highly Cited
2011
The optimal priority models of the intuitionistic fuzzy preference relation and their application in selecting industries with higher meteorological sensitivity
Zaiwu Gong
,
Lianshui Li
,
J. Forrest
,
Yue Zhao
Expert systems with applications
2011
Corpus ID: 14530996
Review
1998
Review
1998
Concurrency control: methods, performance, and analysis
Alexander Thomasian
CSUR
1998
Corpus ID: 17610860
Standard locking (two-phase locking with on-demand lock requests and blocking upon lock conflict) is the primary concurrency…
Expand
Highly Cited
1998
Highly Cited
1998
Enumerations, countable structures and Turing degrees
S. Wehner
1998
Corpus ID: 17658501
It is proven that there is a family of sets of natural numbers which has enumerations in every Turing degree except for the…
Expand
Highly Cited
1984
Highly Cited
1984
Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
S. G. Simpson
Journal of Symbolic Logic (JSL)
1984
Corpus ID: 12799547
Abstract We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak…
Expand
Highly Cited
1977
Highly Cited
1977
Elements of Recursion Theory
H. Enderton
1977
Corpus ID: 119006238
Review
1975
Review
1975
A Preliminary Evaluation of the Critical Path Method for Scheduling Tasks on Multiprocessor Systems
W. Kohler
IEEE transactions on computers
1975
Corpus ID: 20200139
The problem of scheduling tasks on a system of independent identical processors is discussed and the performance of a suboptimal…
Expand
Highly Cited
1966
Highly Cited
1966
Lower Bounds for Pairs of Recursively Enumerable Degrees
A. Lachlan
1966
Corpus ID: 18731506
The degrees of unsolvability have been extensively studied by Sacks in (4). This paper studies problems concerned with lower…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE