Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees

DOI10.1090/memo/1284zbMath1460.03002OpenAlexW3015717446MaRDI QIDQ5113922

Keng Meng Ng, Rodney G. Downey, D. Reed Solomon

Publication date: 19 June 2020

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/1284

zbMATH Keywords

minimal degreeTuring degreecomputably enumerable setpromptly simple setfull approximation methodweak truth-table degree

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Other Turing degree structures (03D28)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computable fields and the bounded Turing reduction
• On degrees of recursive unsolvability
• Classification of degree classes associated with r.e. subspaces
• Classical recursion theory. The theory of functions and sets of natural numbers
• The existence of recursively enumerable minimal truth-tabular degrees
• The fractal nature of Riem/Diff. I.
• Presentations of computably enumerable reals.
• Recursively enumerable many-one degrees
• The recursively enumerable degrees are dense
• Initial segments of one-one degrees
• Is it harder to factor a polynomial or to find a root?
• Effective procedures in field theory
• A minimal degree less than 0’
• TOTALLY ω-COMPUTABLY ENUMERABLE DEGREES AND BOUNDING CRITICAL TRIPLES
• Degrees bounding minimal degrees
• Strong reducibilities
• Minimal degrees and the jump operator
• The weak truth table degrees of recursively enumerable sets
• Simple Proofs of Some Theorems on High Degrees of Unsolvability
• Maximal contiguous degrees
• Computably Enumerable Reals and Uniformly Presentable Ideals
• Undecidability and initial segments of the (r.e.) tt-degrees
• A Hierarchy of Turing Degrees
• Measures and their random reals
• Computability and Randomness
• Distributive Initial Segments of the Degrees of Unsolvability
• Initial segments of the degrees of unsolvability Part II: minimal degrees
• Computability Theory and Differential Geometry
• Recursively enumerable sets of positive integers and their decision problems

This page was built for publication: Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees