The automorphism group and definability of the jump operator in the -enumeration degrees

DOI10.1007/S00153-021-00766-7MaRDI QIDQ2238145zbMATH OpenOpenAlexFDO

Authors Andrey C. Sariev, Hristo Ganchev

Publication date 29 October 2021

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-021-00766-7

zbMATH Keywords

definabilitydegree structuresenumeration reducibilityjump

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• The jump operator on the \(\omega \)-enumeration degrees
• scientific article; zbMATH DE number 7360060
• Definability issues in the -Turing degrees
• Definability via Kalimullin pairs in the structure of the enumeration degrees
• DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES

Cites work

• Bounding nonsplitting enumeration degrees
• DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES
• Definability via Kalimullin pairs in the structure of the enumeration degrees
• Defining the Turing jump
• Defining totality in the enumeration degrees
• Exact Pair Theorem for the ω-Enumeration Degrees
• scientific article; zbMATH DE number 4160710 (Why is no real title available?)
• scientific article; zbMATH DE number 7360060 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Initial segments of the \({\Sigma}_2^0\) enumeration degrees
• Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ₂ sets are dense
• Semirecursive Sets and Positive Reducibility
• The automorphism group of the enumeration degrees
• The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees
• The jump operator on the \(\omega \)-enumeration degrees
• The  -Enumeration Degrees
• Uniform regular enumerations

Cited in

(3)

• Jump inversions of algebraic structures and the \({\Sigma}\)-definability
• scientific article; zbMATH DE number 7360060 (Why is no real title available?)
• Jump inversions of algebraic structures and Σ‐definability

This page was built for publication: The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees

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