scientific article; zbMATH DE number 1390015

MaRDI QIDQ4934280zbMATH OpenFDO

Authors Theodore A. Slaman

Publication date 20 September 2000

zbMATH Keywords

automorphism groupglobal structureREA-operatorssurveyTuring degreesTuring jump

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other Turing degree structures (03D28)

Review text

The paper is devoted to the global structure of the Turing degrees \({\mathcal D}\). It consists of four parts. In the first part the early results about the Turing degrees are discussed, the second part presents the calculation of the degree of the first-order theory of \({\mathcal D}\), the development of REA-operators and the proof that the Turing jump is definable. The two final sections are devoted to the discussion of the automorphism group of \({\mathcal D}\). For the entire collection see [Zbl 0923.03001].

Recommendations

• scientific article; zbMATH DE number 5504384
• Turing degrees and the Ershov hierarchy
• The \(\omega\)-Turing degrees
• Turing degrees in refinements of the arithmetical hierarchy
• Turing degrees of hypersimple relations on computable structures
• Embeddings into the Turing degrees
• On relative enumerability of Turing degrees
• Low upper bounds in the Turing degrees revisited
• The Turing degrees below generics and randoms
• An extension of the recursively enumerable Turing degrees

Cited in

(7)

• The typical Turing degree
• scientific article; zbMATH DE number 4204326 (Why is no real title available?)
• Degree Structures: Local and Global Investigations
• scientific article; zbMATH DE number 5504384 (Why is no real title available?)
• Local Initial Segments of The Turing Degrees
• The ^0_2 Turing degrees: automorphisms and definability
• The Turing degrees: an introduction

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