scientific article; zbMATH DE number 510777

MaRDI QIDQ4281250zbMATH OpenFDO

Authors S. Barry Cooper

Publication date 17 October 1994

zbMATH Keywords

definabilitydegrees of unsolvabilityjump operator

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• The jump is definable in the structure of the degrees of unsolvability
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
• On a Conjecture of Kleene and Post
• Defining the Turing jump

Cited in

(13)

• Defining the Turing jump
• Interpolating d-r.e. and REA degrees between r.e. degrees
• A non-splitting theorem for d.r.e. sets
• On a Conjecture of Kleene and Post
• Definability aspects of the Denjoy integral
• The jump is definable in the structure of the degrees of unsolvability
• There is no degree invariant half-jump
• scientific article; zbMATH DE number 1531930 (Why is no real title available?)
• scientific article; zbMATH DE number 1531934 (Why is no real title available?)
• Splittings of 0' into the Recursively Enumerable Degrees
• Ultrafilter spaces on the semilattice of partitions
• Universal definability of Mal'tsev classes
• Definability with bounded number of bound variables

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281250)