Domination, forcing, array nonrecursiveness and relative recursive enumerability

DOI10.2178/JSL/1327068690MaRDI QIDQ5388717zbMATH OpenOpenAlexFDO

Authors Mingzhong Cai, Richard A. Shore

Publication date 19 April 2012

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1327068690

zbMATH Keywords

dominationforcingarray nonrecursive degree

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 841084
• Array nonrecursiveness and relative recursive enumerability
• Relative recursive enumerability of generic degrees
• Array nonrecursive degrees and lattice embeddings of the diamond
• Enumeration 1-genericity in the local enumeration degrees

Cites work

• scientific article; zbMATH DE number 4172959 (Why is no real title available?)
• A 2-MINIMAL NON-GL₂ DEGREE
• Array nonrecursiveness and relative recursive enumerability
• Bounding non-GL₂ and R.E.A.
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
• Double jumps of minimal degrees
• Jump restricted interpolation in the recursively enumerable degrees
• Lowness for genericity
• On degrees of unsolvability
• Relative enumerability and 1-genericity
• The Theory of the Degrees below 0 ′
• Turing degrees of certain isomorphic images of computable relations

Cited in

(5)

• Array nonrecursiveness and relative recursive enumerability
• scientific article; zbMATH DE number 841084 (Why is no real title available?)
• Biinterpretability up to double jump in the degrees below \(\mathbf{0}'\)
• Defining totality in the enumeration degrees
• Three theorems on n-REA degrees: proof-readers and verifiers

This page was built for publication: Domination, forcing, array nonrecursiveness and relative recursive enumerability

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