scientific article; zbMATH DE number 4204326

MaRDI QIDQ3353006zbMATH OpenFDO

Authors Piergiorgio Odifreddi, Richard A. Shore

Publication date 1991

zbMATH Keywords

automorphismlocal structuresdegrees of sets definable in first-order arithmeticsubstructures of the degrees of unsolvability

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• scientific article; zbMATH DE number 66485
• Local Initial Segments of The Turing Degrees
• scientific article; zbMATH DE number 1984267
• scientific article; zbMATH DE number 1390015
• scientific article; zbMATH DE number 3857082

Cited in

(9)

• Embedding and coding below a 1-generic degree
• Incomparability in local structures of \(s\)-degrees and \(Q\)-degrees
• scientific article; zbMATH DE number 66485 (Why is no real title available?)
• scientific article; zbMATH DE number 1984267 (Why is no real title available?)
• scientific article; zbMATH DE number 1390014 (Why is no real title available?)
• Undecidability and 1-types in the recursively enumerable degrees
• The arithmetic and Turing degrees are not elementarily equivalent
• Localization of the degree on lower-dimensional sets
• scientific article; zbMATH DE number 3857082 (Why is no real title available?)

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 Q3353006)