DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES

DOI10.1142/S0219061303000285zbMath1049.03030OpenAlexW2161387988MaRDI QIDQ4460756

Iskander Sh. Kalimullin

Publication date: 29 March 2004

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219061303000285

zbMATH Keywords

definabilityTuring degrees

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Related Items (22)

Elementary theories and structural properties of d-c.e. and n-c.e. degrees ⋮ The automorphism group of the enumeration degrees ⋮ A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES ⋮ Unnamed Item ⋮ The enumeration degrees: Local and global structural interactions ⋮ The relationship between local and global structure in the enumeration degrees ⋮ PA RELATIVE TO AN ENUMERATION ORACLE ⋮ A Survey of Results on the d-c.e. and n-c.e. Degrees ⋮ Density of the cototal enumeration degrees ⋮ Cupping and definability in the local structure of the enumeration degrees ⋮ Interpreting true arithmetic in the local structure of the enumeration degrees ⋮ The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees ⋮ Definability in the Local Theory of the ω-Enumeration Degrees ⋮ On Kalimullin pairs ⋮ Defining totality in the enumeration degrees ⋮ Characterizing the continuous degrees ⋮ INITIAL SEGMENTS OF THE ENUMERATION DEGREES ⋮ On cototality and the skip operator in the enumeration degrees ⋮ The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees ⋮ The jump operator on the \(\omega \)-enumeration degrees ⋮ Turing degrees in Polish spaces and decomposability of Borel functions ⋮ Definability via Kalimullin pairs in the structure of the enumeration degrees

Cites Work

• Unnamed Item
• Defining the Turing jump
• Degrees joining to 0′
• Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ₂ sets are dense
• Jumps of quasi-minimal enumeration degrees

This page was built for publication: DEFINABILITY OF THE JUMP OPERATOR IN THE ENUMERATION DEGREES